On the reaction time of some synchronous systems

Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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
Original languageEnglish
Title of host publicationProceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.
Pages69-83
Number of pages15
DOIs
Publication statusPublished - 2011

Fingerprint Dive into the research topics of 'On the reaction time of some synchronous systems'. Together they form a unique fingerprint.

Cite this