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

Cited literature [26 references]  Display  Hide  Download
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
Long-term archiving on : Tuesday, September 21, 2010 - 1:48:12 PM


Files produced by the author(s)


  • HAL Id : inria-00172302, version 2


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⟩



Record views


Files downloads