Allen E., Chase D., Hallett J., Luchangco V., Maessn J.-W., Ryu S., Steele G. L.Jr. & Tobin-Hochstadt S.2007. The Fortress language specification version 1.0 beta. Technical report. SunMicrosystems, Inc., March.

Andre C.2004. Computing SyncCharts reactions. Electronic Notes in Theoretical Computer Science88, 3–19.

Benveniste A., Caspi P., Edwards S. A., Halbwachs N., Guernic P. L. & Simone R. D.2003. The synchronous languages twelve years later. Proceedings of the IEEE91(1):64–83.

Boulet P.2007. Array-OL revisited, multidimensional intensive signal processing specification. Research Report RR-6113, INRIA, February. http://hal.inria.fr/inria-00128840/en/

Boulet P.2008. Formal semantics of Array-OL, a domain specific language for intensive multidimensional signal processing. Research Report RR-6467, INRIA, March.

Callahan D., Chamberlain B. L. & Zima H. P.2004. The cascade high productivity language. In 9th International Workshop on High-Level Parallel Programming Models and Supportive Environments. IEEE Computer Society, April, 52–60.

Charles P., Grothoff C., Saraswat V., Donawa C., Kielstra A., Ebcioglu K., von Praun C. & Sarkar V.2005. X10: an object-oriented approach to nonuniform cluster computing. In 20th Annual ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages, and Applications. ACM Press, 519–538.

Chen K., Sztipanovits J., Abdelwahed S. & Jackson E. K.2005. Semantic anchoring with model transformations. In European Conference on Model Driven Architecture Foundations and Applications (ECMDA–FA’05), 115–129.

Combemale B., Rougemaille S., Crégut X., Migeon F., Pantel M., Maurel C. & Coulette B.2006. Towards rigorous metamodeling. In MDEIS, 5–14.

Esterel Technologies2009. SCADE. http://www.esterel-technologies.com

Gamatié A., Beux S. L., Piel É., Atitallah R. B., Etien A., Marquet P. & Dekeyser J.-L.2010. A model driven design framework for massively parallel embedded systems. ACM Transactions on Embedded Computing Systems (TECS) (to appear).

Gamatié A., Rutten É. & Yu H.2008a. A model for the mixed-design of data-intensive and control-oriented embedded systems. Research Report RR-6589, INRIA, July. http://hal.inria.fr/inria-00293909/fr

Gamatié A., Rutten É., Yu H., Boulet P. & Dekeyser J.-L.2008b. Synchronous modeling and analysis of data intensive applications. EURASIP Journal on Embedded Systems. http://dx.doi. org/10.1155/2008/561863

Gamatié A., Yu H., Delaval G. & Rutten E.2009. A case study on controller synthesis for data-intensive embedded systems. In Second International Conference on Embedded Software and Systems (ICESS09), ISBN: 978-0-7695-3678-1, IEEE Computer Society, 75–82.

Girault A., Lee B. & Lee E.1999. Hierarchical finite state machines with multiple concurrency models. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems18(6):742–760.

Halbwachs N., Caspi P., Raymond P. & Pilaud D.1991. The synchronous dataflow programming language Lustre. Proceedings of the IEEE79(9):1305–1320.

Harel D.1987. Statecharts: a visual formalism for complex systems. Science of Computer Programming8(3):231–274.

High Performance Fortran Forum1997. High Performance Fortran language specification, January. http://hpff. rice.edu/versions/hpf2/index.htm

INRIA DaRT Team2009. Gaspard SoC framework. http://www.gaspard2.org/

Labbani O., Dekeyser J.-L., Boulet P. & Rutten É.2005. Introducing control in the Gaspard2 data-parallel MetaModel: synchronous approach. In Proceedings of the International Workshop MARTES.

Maraninchi F. & Rémond Y.2003. Mode-automata: a new domain-specific construct for the development of safe critical systems. Science of Computer Programming46(3):219–254.

Marchand H., Bournai P., Borgne M. L. & Guernic P. L.2000. Synthesis of discrete-event controllers based on the signal environment. Discrete Event Dynamic System: Theory and Applications10(4):325–346.

Mohagheghi P. & Dehlen V.2008. Where is the proof? A review of experiences from applying MDE in industry. In Fourth European Conference on Model Driven Architecture Foundations and Applications (ECMDA-FA), Schieferdecker, I. & Hartman, A. (eds), LNCS 5095432–443. Springer.

MPI Forum2007. Message Passing Interface forum. http://www.mpi-forum.org/docs/docs.html

Object Management Group2005. MOF query/views/transformations, November. http://www.omg.org/spec/QVT/

Object Management Group2007a. Portal of the Model Driven Engineering community. http://www.planetmde.org

Object Management Group2007b. OMG unified modeling language (OMG UML), superstructure, V2.1.2, November. http://www.omg.org/spec/UML/2.1.2/Superstructure/PDF/

Object Management Group2008. Modeling and analysis of real-time and embedded systems (MARTE). http://www.omgmarte.org/

OpenMP API2008. OpenMP 3.0 specifications. http://www.openmp.org/mp-documents/spec30.pdf

Quadri I., Yu H., Gamatié A., Rutten E., Meftali S. & Dekeyser J.-L.2010. Targeting reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation. International Journal of Embedded Systems (IJES), Special Issue on Reconfigurable and Multicore Embedded Systems (to appear).

Sangiovanni-Vincentelli A.2007. Quo Vadis SLD: reasoning about trends and challenges of system-level design. Proceedings of the IEEE, 95(3), 467–506. http://chess.eecs. berkeley.edu/pubs/263.html

Semiconductor Industry Association2004. International technology roadmap for semiconductors update (design). http://www.itrs.net

Talpin J.-P., Brunette C., Gautier T. & Gamatié A.2006. Polychronous mode automata. In EMSOFT ’06: Proceedings of the 6th ACM & IEEE International Conference on Embedded Software. ISBN: 1-59593-542-883–92. ACM.

The MathWorks2009. Simulink. http://www.mathworks.com/products/simulink

Thies W., Karczmarek M. & Amarasinghe S.2002. Streamit: a language for streaming applications. In Compiler Construction. 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, April, Lecture Notes in Computer Science, 2304/2002, 49–84. Springer.

UML tool list2009. Unified modeling language (UML) tools. http://en.wikipedia.org/wiki/List_of_UML_tools

Wilde D. K.1994. The ALPHA language. Technical Report 827, IRISA.

Yu H.2008. A MARTE-Based Reactive Model for Data-Parallel Intensive Processing: Transformation Toward the Synchronous Model. PhD thesis, Université des Sciences et Technologie de Lille.

Yu H., Gamatié A., Rutten E. & Dekeyser J.-L.2008a. Safe design of high-performance embedded systems in a MDE framework. Innovations in Systems and Software Engineering (ISSE)4(3):215–222.

Yu H., Gamatié A., Rutten E. & Dekeyser J.-L.2008b. Model transformations from a data parallel formalism towards synchronous languages. In Embedded Systems Specification and Design Languages, Selected Contributions from FDL’07, chapter 13, ISBN: 978-1-4020-8296-2, Lecture Notes Electrical Engineering, 10. Springer Verlag.