Back to Search
Start Over
On the reaction time of some synchronous systems
- Source :
- Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 69-83 (2011)
- Publication Year :
- 2011
- Publisher :
- Open Publishing Association, 2011.
-
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.
- Subjects :
- Mathematics
QA1-939
Electronic computers. Computer science
QA75.5-76.95
Subjects
Details
- Language :
- English
- ISSN :
- 20752180
- Volume :
- 59
- Issue :
- Proc. ICE 2011
- Database :
- Directory of Open Access Journals
- Journal :
- Electronic Proceedings in Theoretical Computer Science
- Publication Type :
- Academic Journal
- Accession number :
- edsdoj.fc4c481b51c244748d913cd30f4a6d8e
- Document Type :
- article
- Full Text :
- https://doi.org/10.4204/EPTCS.59.7