Skip to Main content Skip to Navigation
Conference papers

Heterogeneous Timed Machines

Benoit Delahaye 1 J. L. Fiadeiro 2 Axel Legay 3 Antónia Lopes 4 
LINA - Laboratoire d'Informatique de Nantes Atlantique
3 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We present an algebra of discrete timed input/output au- tomata that execute in the context of different clock granularities -- timed machines -- as models of systems that can be dynamically inter- connected at run time in a heterogeneous context. We show how timed machines can be refined to a lower granularity of time and how timed machines with different clock granularities can be composed. We propose techniques for checking whether timed machines are consistent or feasi- ble. Finally, we investigate how consistency and feasibility of composition can be proved at run-time without computing products of automata.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download
Contributor : Benoît Delahaye Connect in order to contact the contributor
Submitted on : Friday, June 20, 2014 - 5:07:58 PM
Last modification on : Friday, August 5, 2022 - 12:39:53 PM
Long-term archiving on: : Saturday, September 20, 2014 - 11:16:07 AM


Files produced by the author(s)


  • HAL Id : hal-01010877, version 1


Benoit Delahaye, J. L. Fiadeiro, Axel Legay, Antónia Lopes. Heterogeneous Timed Machines. 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p. ⟨hal-01010877⟩



Record views


Files downloads