Model Transformations from a Data Parallel Formalism Towards Synchronous Languages

  • Huafeng Yu
  • Abdoulaye Gamatié
  • Eric Rutten
  • Jean-Luc Dekeyser
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 10)


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.


MDE model transformation Gaspard synchronous languages embedded system 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Amar, A., Boulet, P., Dumont, P.: Projection of the ARRAY-OL specification language onto the kahn process network computation model. In: Proceedings of the International Symposium on Parallel Architectures, Algorithms, and Networks, Las Vegas, NV (2005)Google Scholar
  2. 2.
    Benveniste, A., Caspi, P., Edwards, S., Halbwachs, N., Le Guernic, P., de Simone, R.: The synchronous languages twelve years later. In: Proceedings of the IEEE 91(1), 64–83 (2003)Google Scholar
  3. 3.
    Boulet, P.: ARRAY-OL revisited, multidimensional intensive signal processing specification. Research Report RR-6113, INRIA, (2007)
  4. 4.
    Brunette, C., Talpin, J.-P., Besnard, L., Gauthier, T.: Modeling multi-clocked data-flow programs using the generic modeling environment. In: Synchronous Languages, Applications, and Programming. Elsevier, Vienna Austria, (2006)Google Scholar
  5. 5.
    Dumont, P., Boulet, P.: Another multidimensional synchronous dataflow: Simulating ARRAY-OL in PTOLEMY II. Tech. Rep. 5516, INRIA, (2005)
  6. 6.
    Eclipse: Eclipse Modeling Framework.
  7. 7.
  8. 8.
    Gamatié, A., Rutten, E., Yu, H., Boulet, P., Dekeyser, J.L.: Synchronous modeling of data intensive applications. Research Rep. 5876, INRIA. (2006)
  9. 9.
    Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. In: Proceedings of the IEEE 79(9) (1991)Google Scholar
  10. 10.
  11. 11.
    INRIA DaRT Project: Presentations and demonstrations: GASPARD2 towards LUSTRE.
  12. 12.
    INRIA Triskell Project: KERMETA.
  13. 13.
    Labbani, O., Dekeyser, J.L., Boulet, P., Rutten, E.: Advances in Design and Specification Languages for SoCs, Selected contributions from FDL′06, chap. UML2 Profile for Modeling Controlled Data Parallel Applications. Springer, TU Darmstadt, Germany (2007)Google Scholar
  14. 14.
    Object Management Group (OMG): MOF Query/Views/Transformations (QVT).–11-01 (2005)
  15. 15.
    INRIA DaRT Project: GASPARD.
  16. 16.
    Rioux, L., Saunier, T., Gerard, S., Radermacher, A., de Simone, R., Gautier, T., Sorel, Y., Forget, J., Dekeyser, J.L., Cuccuru, A., Dumoulin, C., André, C.: MARTE: A new profile rfp for the modeling and analysis of real-time embedded systems. In: UML-SoC’05, DAC 2005 Workshop UML for SoC Design. Anaheim, CA (2005)Google Scholar
  17. 17.
    Schmidt, D.C.: Model-driven engineering. IEEE Computer 39(2) (2006)Google Scholar
  18. 18.
    Yu, H., Gamatié, A., Rutten, E., Dekeyser, J.L.: Model transformations from a data parallel formalism towards synchronous languages. Research Report 6291, INRIA. (2007)

Copyright information

© Springer Science + Business Media B.V 2008

Authors and Affiliations

  • Huafeng Yu
    • 1
  • Abdoulaye Gamatié
    • 2
  • Eric Rutten
    • 3
  • Jean-Luc Dekeyser
    • 4
  1. 1.INRIA Futurs Lille-LIFLFrance
  2. 2.LIFL-CNRS (UMR 8022)France
  3. 3.INRIA Rhône-AlpesFrance
  4. 4.LIFL-USTL (UMR 8022)France

Personalised recommendations