C. Andre, Computing SyncCharts Reactions, Electronic Notes in Theoretical Computer Science, vol.88, pp.3-19, 2004.
DOI : 10.1016/j.entcs.2003.05.007

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The Synchronous Languages Twelve Years Later, Proceedings of the IEEE, pp.64-83, 2003.

P. Boulet, Array-OL revisited, multidimensional intensive signal processing specification, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00128840

P. Boulet, Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00261178

D. Callahan, B. L. Chamberlain, and H. P. Zima, The cascade high productivity language, Ninth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2004. Proceedings., pp.52-60, 2004.
DOI : 10.1109/HIPS.2004.1299190

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra et al., X10: an object-oriented approach to nonuniform cluster computing, 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pp.519-538, 2005.

K. Chen, J. Sztipanovits, S. Abdelwahed, and E. K. Jackson, Semantic Anchoring with Model Transformations, European Conference on Model Driven Architecture Fondations and Applications (ECMDA?FA'05), pp.115-129, 2005.
DOI : 10.1007/11581741_10

A. Gamatié, É. Rutten, and H. Yu, A Model for the Mixed-Design of Data-Intensive and Control- Oriented Embedded Systems, 2008.

A. Gamatié, É. Rutten, H. Yu, P. Boulet, and J. Dekeyser, Synchronous Modeling and Analysis of Data Intensive Applications, EURASIP Journal on Embedded Systems, vol.2008, issue.1, 2008.
DOI : 10.1007/BF01379404

A. Gamatié, H. Yu, G. Delaval, and E. Rutten, A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, 2009 International Conference on Embedded Software and Systems, pp.75-82, 2009.
DOI : 10.1109/ICESS.2009.12

A. Gamatié, S. L. Beux, É. Piel, R. B. Atitallah, A. Etien et al., A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, p.2010
DOI : 10.1145/2043662.2043663

A. Girault, B. Lee, and E. Lee, Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, pp.742-760, 1999.
DOI : 10.1109/43.766725

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous dataflow programming language Lustre, Proceedings of the IEEE, 1991.

F. High-performance and . Forum, High Performance Fortran Language Specification, 1997.

O. Labbani, J. Dekeyser, P. Boulet, and É. Rutten, Introducing control in the Gaspard2 Data-Parallel MetaModel: Synchronous Approach, Proceedings of the International Workshop MARTES, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00000911

F. Maraninchi and Y. Rémond, Mode-Automata: a new domain-specific construct for the development of safe critical systems, Science of Computer Programming, vol.46, issue.3, pp.219-254, 2003.
DOI : 10.1016/S0167-6423(02)00093-X

H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic, Synthesis of Discrete-Event Controllers based on the Signal Environment, Discrete Event Dynamic System: Theory and Applications, pp.325-346, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00546147

P. Mohagheghi and V. Dehlen, Where Is the Proof? - A Review of Experiences from Applying MDE in Industry, Fourth European Conference on Model Driven Architecture Fondations and Applications (ECMDA-FA), pp.432-443, 2008.
DOI : 10.1007/978-3-540-69100-6_31

M. Forum, Message Passing Interface Forum, 2007.

M. Object and . Group, Modeling and Analysis of Real-time and Embedded systems (MARTE), 2008.

M. Object and . Group, MOF Query / Views / Transformations. http://www.omg.org/cgi- bin/doc?ptc, 2005.

A. Openmp, OpenMP 3.0 specifications, 2008.

I. Quadri, H. Yu, A. Gamatié, E. Rutten, S. Meftali et al., Targeting reconfigurable FPGA based SoCs using the UML MARTE profile: from high abstraction levels to code generation, Special Issue on Reconfigurable and Multicore Embedded Systems, 2010.
DOI : 10.1504/IJES.2010.039025

URL : https://hal.archives-ouvertes.fr/inria-00525015

A. Sangiovanni-vincentelli, Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design, Proceedings of the IEEE, vol.95, issue.3, pp.467-506, 2007.
DOI : 10.1109/JPROC.2006.890107

I. Semiconductor and . Assoc, International technology roadmap for semiconductors update (design), 2004.

J. Talpin, C. Brunette, T. Gautier, and A. Gamatié, Polychronous mode automata, Proceedings of the 6th ACM & IEEE International conference on Embedded software , EMSOFT '06, pp.83-92, 2006.
DOI : 10.1145/1176887.1176900

URL : https://hal.archives-ouvertes.fr/hal-00541469

W. Thies, M. Karczmarek, and S. Amarasinghe, StreamIt: A Language for Streaming Applications, Compiler Construction 11th International Conference Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.49-84, 2002.
DOI : 10.1007/3-540-45937-5_14

. Uml and . List, Unified Modeling Language (UML) tools. http://en.wikipedia.org, 2009.

D. K. Wilde, The ALPHA Language, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074378

H. Yu, A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model, 2008.

H. Yu, A. Gamatié, E. Rutten, and J. Dekeyser, Safe design of high-performance embedded systems in an MDE framework, Innovations in Systems and Software Engineering (ISSE), 2008.
DOI : 10.1007/s11334-008-0059-y

H. Yu, A. Gamatié, E. Rutten, and J. Dekeyser, Embedded Systems Specification and Design Languages, Selected Contributions from FDL'07 Model Transformations from a Data Parallel Formalism towards Synchronous Languages, Lecture Notes Electrical Engineering, vol.10, issue.13, pp.978-979, 2008.