Compositional modeling and transformation of multi-clocked mode automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2005

Compositional modeling and transformation of multi-clocked mode automata

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00070290 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More