Skip to Main content Skip to Navigation
Reports

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 :
Reports
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00070290
Contributor : Rapport de Recherche Inria <>
Submitted on : Friday, May 19, 2006 - 7:56:49 PM
Last modification on : Friday, January 8, 2021 - 3:40:38 AM
Long-term archiving on: : Tuesday, February 22, 2011 - 10:51:26 AM

Identifiers

  • HAL Id : inria-00070290, version 1

Citation

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

Share

Metrics

Record views

263

Files downloads

235