Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/24085
Title: | Determining robustness of synchronous programs under stuttering |
Authors: | Bondin, Ingram Pace, Gordon J. |
Keywords: | Actor (Computer program language) Asynchronous circuits Component software |
Issue Date: | 2014 |
Publisher: | IARIA |
Citation: | Bondin, I., & Pace, G. J. (2014). Determining robustness of synchronous programs under stuttering. International Journal on Advances in Intelligent Systems, 7(1/2), 39-50. |
Abstract: | Robustness of embedded systems under potential changes in their environment is crucial for reliable behaviour. One typical environmental impact is that of the inputs being slowed down — due to which, the system may no longer satisfy its specification. In this paper, we present a framework for analysing the behaviour of synchronous programs written in Lustre under such environmental interference. Representing slow input by stuttering, we introduce both strong and weak slowdown robustness constraints with respect to this phenomenon. Furthermore, static and dynamic algorithmic techniques are used to deduce whether such constraints are satisfied, and the relationship between stateful programs and the slowdown model considered is explored. |
URI: | https://www.um.edu.mt/library/oar//handle/123456789/24085 |
ISSN: | 19422679 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
intsys_v7_n12_2014_4.pdf | 371.17 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.