Please use this identifier to cite or link to this item:
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.
ISSN: 19422679
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
intsys_v7_n12_2014_4.pdf371.17 kBAdobe PDFView/Open

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.