Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

inria-00172302, version 2

Model Transformations from a Data Parallel Formalism towards Synchronous Languages

Huafeng Yu () ¹, Abdoulaye Gamatié^a^, 1, Éric Rutten () ², Jean-Luc Dekeyser^b^, 1

N° RR-6291 (2007)

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.

a – CNRS
b – Université des Sciences et Technologie de Lille - Lille I
1: DART (INRIA Futurs)
INRIA – CNRS : UMR8022 – Université Lille I - Sciences et technologies
2: POP ART (INRIA Rhône-Alpes)
INRIA

inria-00172302, version 2
http://hal.inria.fr/inria-00172302
oai:hal.inria.fr:inria-00172302
From: Rapport De Recherche Inria <>
Submitted on: Monday, 17 September 2007 11:20:18
Updated on: Monday, 17 September 2007 11:24:49

See detailed view

Associated documents

PS :

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00172302"><monogr>
<author><persName><forename>Huafeng</forename><surname>Yu</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Futurs</orgName>
<orgName type="team">DART</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
</affiliation>
</author>
<author><persName><forename>Abdoulaye</forename><surname>Gamatié</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Futurs</orgName>
<orgName type="team">DART</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
</affiliation>
</author>
<author><persName><forename>Éric</forename><surname>Rutten</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Rhône-Alpes</orgName>
<orgName type="team">POP ART</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
</affiliation>
</author>
<author><persName><forename>Jean-Luc</forename><surname>Dekeyser</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Futurs</orgName>
<orgName type="team">DART</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille I - Sciences et technologies</orgName>
</affiliation>
</author>
<title type="main" level="m">Model Transformations from a Data Parallel Formalism towards Synchronous Languages</title><title type="main" level="m">Model Transformations from a Data Parallel Formalism towards Synchronous Languages</title><imprint><biblScope type="publicationDate">2007-00-00</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00172302</idno><idno type="HALFile">http://hal.inria.fr/inria-00172302/PDF/RR-6291.pdf</idno></biblStruct>
</listBibl>
</listBibl>