Compositional modeling and transformation of multi-clocked mode automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2005

Compositional modeling and transformation of multi-clocked mode automata

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-5728.pdf (347.86 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00070290 , version 1 (19-05-2006)

Identifiants

  • HAL Id : inria-00070290 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More