• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Model Transformations from a Data Parallel ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Rapport de recherche
Title :
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
Author(s) :
Yu, Huafeng [Auteur]
Contributions of the Data parallelism to real time [DART]
Gamatié, Abdoulaye [Auteur]
Contributions of the Data parallelism to real time [DART]
Rutten, Eric [Auteur]
Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time [POP ART]
Dekeyser, Jean-Luc [Auteur] refId
Contributions of the Data parallelism to real time [DART]
Institution :
INRIA
Publication date :
2007
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [en]
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 ...
Show more >
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.Show less >
Language :
Anglais
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.inria.fr/inria-00172302v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/inria-00172302v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/inria-00172302v2/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017