Paper Info
Title
Model Transformations from a Data Parallel Formalism towards Synchronous Languages
Abstract
The increasing complexity of embedded system designs calls for highlevel specification formalisms and for automated transformations towards lowerlevel descriptions. In this paper, 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, 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.
Year
DOI
Venue
2007
10.1007/978-1-4020-8297-9_13
FDL
Keywords
Field
DocType
model transformation,mde,gaspard,synchronous languages,embedded system,model driven engineering
Model transformation,Programming language,Computer science,Real-time computing,Formalism (philosophy),Lustre (mineralogy),Rotation formalisms in three dimensions,Metamodeling
Conference
Citations 
PageRank 
References 
6
0.58
11
Authors
4
Name
Order
Citations
PageRank
Huafeng Yu1725.70
Abdoulaye Gamatié225130.18
Éric Rutten325530.50
Jean-luc Dekeyser443353.54