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 :
Rapport
[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

https://hal.inria.fr/inria-00172302
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 17 septembre 2007 - 11:20:18
Dernière modification le : vendredi 16 septembre 2016 - 15:17:33
Document(s) archivé(s) le : mardi 21 septembre 2010 - 13:48:12

Fichiers

RR-6291.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00172302, version 2

Collections

Citation

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〉

Partager

Métriques

Consultations de
la notice

252

Téléchargements du document

224