HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Compositional modeling and transformation of multi-clocked mode automata

Christian Brunette 1 Jean-Pierre Talpin 1
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This article presents the modeling and implementation of multi-clocked mode automata using the model-driven engineering tool GME(Generic Modeling Environment) and starting from a meta-model for the computer-aided embedded system design tool POLYCHRONY. The article presents the design of a meta-model in GME for the data-flow multi-clocked synchronous formalism Signal of POLYCHRONY, its extension to multi-clocked mode automata and the use of model transformation technologies of the GME environment to embed the latter extension in the former workbench. The complete model and transformation process is formalized and given a formal operational semantics.
Document type :
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Friday, May 19, 2006 - 7:56:49 PM
Last modification on : Friday, February 4, 2022 - 3:15:20 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 10:51:26 AM


  • HAL Id : inria-00070290, version 1


Christian Brunette, Jean-Pierre Talpin. Compositional modeling and transformation of multi-clocked mode automata. [Research Report] RR-5728, INRIA. 2005, pp.20. ⟨inria-00070290⟩



Record views


Files downloads