Skip to Main content Skip to Navigation
Conference papers

An Introduction to Time-Constrained Automata

Abstract : We present timing-constrained automata (TCA), a model for real-time computation in which agents behaviors are modeled by automata constrained by time intervals. In this model time does not change automata behavior: on the contrary, it is automata execution that changes the timing constraints. This allows the model to well lend itself to analysis as well as concrete execution. TCA actions model can have multiple start time and deadlines, can be aperiodic, and can change dynamically following a graph, the time-constrained automaton. This allows expressing much more precise timing constraints than classical periodic or sporadic model, while preserving the ease of scheduling and analysis. We provide some properties of this model as well as their scheduling semantics. We show that timing-constrained tasks can be automatically derived from source-code, and optimally scheduled on single processors using a variant of EDF. We explain how timing constraints can be used to guarantee communication determinism by construction, and used to study when possible agent interactions happens.
Document type :
Conference papers
Complete list of metadatas
Contributor : Evelyne Faivre <>
Submitted on : Tuesday, April 5, 2011 - 4:46:59 PM
Last modification on : Monday, February 10, 2020 - 6:12:33 PM


  • HAL Id : hal-00583453, version 1



Matthieu Lemerre, Vincent David, Christophe Assaguès, Guy Vidal Naquet. An Introduction to Time-Constrained Automata. ICE 2010 3rd Interaction and Concurrency Experience, Jun 2010, Amsterdam, Netherlands. pp.83-98. ⟨hal-00583453⟩



Record views