On the reaction time of some synchronous systems

Ilias Garnier
Christophe Aussaguès
Vincent David
Guy Vidal-Naquet
(SUPELEC Systems Sciences (E3S))

This paper presents an investigation of the notion of reaction time in some synchronous systems. A state-based description of such systems is given, and the reaction time of such systems under some classic composition primitives is studied. Reaction time is shown to be non-compositional in general. Possible solutions are proposed, and applications to verification are discussed. This framework is illustrated by some examples issued from studies on real-time embedded systems.

In Alexandra Silva, Simon Bliudze, Roberto Bruni and Marco Carbone: Proceedings Fourth Interaction and Concurrency Experience (ICE 2011), Reykjavik, Iceland, 9th June 2011, Electronic Proceedings in Theoretical Computer Science 59, pp. 69–83.
Published: 31st July 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.59.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org