Home // International Journal On Advances in Intelligent Systems, volume 7, numbers 1 and 2, 2014 // View article

Determing Robustness of Synchronous Programs under Stuttering

Authors:
Ingram Bondin
Gordon J. Pace

Keywords: Synchonous Languages, Lustre, Slowdown, Stutter

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.

Pages: 39 to 50

Copyright: Copyright (c) to authors, 2014. Used with permission.

Publication date: June 30, 2014

Published in: journal

ISSN: 1942-2679