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.
Type de document :
[Research Report] RR-6291, INRIA. 2007
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 17 septembre 2007 - 11:20:18
Dernière modification le : mercredi 11 avril 2018 - 01:54:09
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:48:12


Fichiers produits par l'(les) auteur(s)


  • HAL Id : inria-00172302, version 2


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



Consultations de la notice


Téléchargements de fichiers