On the reaction time of some synchronous systems

On the reaction time of some synchronous systems

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

Full description

Bibliographic Details
Main Authors: Ilias Garnier, Christophe Aussaguès, Vincent David, Guy Vidal-Naquet
Format: Article
Language:English
Published: Open Publishing Association 2011-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1108.0467v1
id doaj-fc4c481b51c244748d913cd30f4a6d8e
record_format Article
spelling doaj-fc4c481b51c244748d913cd30f4a6d8e2020-11-24T23:51:21ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802011-07-0159Proc. ICE 2011698310.4204/EPTCS.59.7On the reaction time of some synchronous systemsIlias GarnierChristophe AussaguèsVincent DavidGuy Vidal-NaquetThis 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.http://arxiv.org/pdf/1108.0467v1
collection DOAJ
language English
format Article
sources DOAJ
author Ilias Garnier
Christophe Aussaguès
Vincent David
Guy Vidal-Naquet
spellingShingle Ilias Garnier
Christophe Aussaguès
Vincent David
Guy Vidal-Naquet
On the reaction time of some synchronous systems
Electronic Proceedings in Theoretical Computer Science
author_facet Ilias Garnier
Christophe Aussaguès
Vincent David
Guy Vidal-Naquet
author_sort Ilias Garnier
title On the reaction time of some synchronous systems
title_short On the reaction time of some synchronous systems
title_full On the reaction time of some synchronous systems
title_fullStr On the reaction time of some synchronous systems
title_full_unstemmed On the reaction time of some synchronous systems
title_sort on the reaction time of some synchronous systems
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2011-07-01
description 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.
url http://arxiv.org/pdf/1108.0467v1
work_keys_str_mv AT iliasgarnier onthereactiontimeofsomesynchronoussystems
AT christopheaussagues onthereactiontimeofsomesynchronoussystems
AT vincentdavid onthereactiontimeofsomesynchronoussystems
AT guyvidalnaquet onthereactiontimeofsomesynchronoussystems
_version_ 1725476109823246336

Similar Items