On the reaction time of some synchronous systems

Autor:	Christophe Aussaguès, Vincent David, Ilias Garnier, Guy Vidal-Naquet
Rok vydání:	2011
Předmět:	Software Engineering (cs.SE) FOS: Computer and information sciences Computer Science - Software Engineering Computer science lcsh:Mathematics Control engineering State (computer science) lcsh:Electronic computers. Computer science Composition (combinatorics) lcsh:QA1-939 lcsh:QA75.5-76.95
Zdroj:	Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 69-83 (2011) ICE
DOI:	10.48550/arxiv.1108.0467
Popis:	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. Comment: In Proceedings ICE 2011, arXiv:1108.0144
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f84ca3174bfe5689461d2d0ab8e5a271 Zobrazit plný text záznamu