inria-00172302, version 2
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
Huafeng Yu
1Abdoulaye Gamatié a, 1Éric Rutten 2Jean-Luc Dekeyser b, 1
N° RR-6291 (2007)
Résumé : 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.
- a – CNRS
- b – Université des Sciences et Technologie de Lille - Lille I
- 1 : DART (INRIA Futurs)
- INRIA – CNRS : UMR8022 – Université Lille 1 - Sciences et Technologies
- 2 : POP ART (INRIA Rhône-Alpes)
- INRIA
- Domaine : Informatique/Systèmes embarqués
- Mots-clés : Intensive signal processing – data-parallel – Gaspard – Array-OL – synchronous approach – MDE – model transformations
- Référence interne : RR-6291
- Versions disponibles : v1 (14-09-2007) v2 (17-09-2007)
- inria-00172302, version 2
- http://hal.inria.fr/inria-00172302
- oai:hal.inria.fr:inria-00172302
- Contributeur : Rapport De Recherche Inria
- Soumis le : Lundi 17 Septembre 2007, 11:20:18
- Dernière modification le : Lundi 17 Septembre 2007, 11:24:49
Documents associés
Exporter