An Introduction to Time-Constrained Automata - CentraleSupélec Access content directly
Conference Papers Year : 2010

An Introduction to Time-Constrained Automata


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

Dates and versions

hal-00583453 , version 1 (05-04-2011)


  • 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⟩
87 View
0 Download


Gmail Facebook X LinkedIn More