On the reaction time of some synchronous systems

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

doi:10.4204/EPTCS.59.7

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 proceeding › Conference 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 language	English
Title of host publication	Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.
Pages	69-83
Number of pages	15
DOIs	https://doi.org/10.4204/EPTCS.59.7
Publication status	Published - 2011

Access to Document

10.4204/EPTCS.59.7

http://dx.doi.org/10.4204/EPTCS.59.7

Cite this

@inproceedings{1486bf93bdbb4e8b86addfed56abe6cc,

title = "On the reaction time of some synchronous systems",

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",

author = "Ilias Garnier and Christophe Aussagu{\`e}s and Vincent David and Guy Vidal-Naquet",

year = "2011",

doi = "10.4204/EPTCS.59.7",

language = "English",

pages = "69--83",

booktitle = "Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.",

}

TY - GEN

T1 - On the reaction time of some synchronous systems

AU - Garnier, Ilias

AU - Aussaguès, Christophe

AU - David, Vincent

AU - Vidal-Naquet, Guy

PY - 2011

Y1 - 2011

N2 - 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

AB - 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

U2 - 10.4204/EPTCS.59.7

DO - 10.4204/EPTCS.59.7

M3 - Conference contribution

SP - 69

EP - 83

BT - Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011.

ER -

On the reaction time of some synchronous systems

Abstract

Access to Document

Fingerprint

Cite this