Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Abstract : The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronous data-flow languages, such as Lustre, Lucid synchrone and Signal, which provide designers with formal techniques and tools for validation. In order to benefit from the methodological advantages of re-usability and platform-independence, a Model-Driven Engineering approach is applied.
Document type :
Reports
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.inria.fr/inria-00172302
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, September 17, 2007 - 11:20:18 AM
Last modification on : Tuesday, March 5, 2019 - 2:46:07 PM
Document(s) archivé(s) le : Tuesday, September 21, 2010 - 1:48:12 PM

Files

RR-6291.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00172302, version 2

Citation

Huafeng Yu, Abdoulaye Gamatié, Eric Rutten, Jean-Luc Dekeyser. Model Transformations from a Data Parallel Formalism towards Synchronous Languages. [Research Report] RR-6291, INRIA. 2007. ⟨inria-00172302v2⟩

Share

Metrics

Record views

334

Files downloads

332