*. Char and =. Pixel, 10 "typedef struct Pixel Pixel 11 "struct ImageGPU {" 12 " struct Pixel pixels[512];" 13 " float ychannel[512] 14 "};" 15 "typedef struct ImageGPU ImageGPU 16 "kernel void iregion_4594355024(global struct ImageGPU * this)" 17 "{" 18 " int i = get_global_id(0);" 19 " float __new_var_6 = 0.299;" 20 " float __new_var_7 = 0.587;" 21 " float __new_var_8 = 0.114;" 22 " float __new_var_5 = this->pixels[i].r * __new_var_6;" 23 " float __new_var_3 = this->pixels[i].g * __new_var_7;" 24 " float __new_var_4 = this->pixels[i].b * __new_var_8, struct ImageGPU * __obj_new_ImageGPU_RGB(struct Int * rgb[1536]) 33 { 34 struct ImageGPU * this = (struct ImageGPU * ), pp.30-31

D. Seifert, An Executable Formal Semantics for a UML State Machine Kernel Considering Complex Structured Data, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00274391

B. Fraguela, J. Guo, G. Bikshandi, M. Garzaran, G. Almasi et al., The Hierarchically Tiled Arrays programming approach, Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems , LCR '04, 2004.
DOI : 10.1145/1066650.1066657

F. Mueller and Y. Zhang, Hidp: A Hierarchical Data Parallel Language, Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), CGO '13, pp.1-11, 2013.

P. Boulet and . Array, Multidimensional Intensive Signal Processing Specification, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00128840

R. Von-hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler et al., SCCharts: Sequentially Constructive Statecharts for Safety-critical Applications: HW/SW-synthesis for a Conservative Extension of Synchronous Statecharts, Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, pp.372-383, 2014.

T. Schattkowsky and W. Muller, Transformation of UML State Machines for Direct Execution, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05), pp.117-124, 2005.
DOI : 10.1109/VLHCC.2005.64

J. Dekeyser, A Model-Driven Design Framework for Massively Parallel Embedded Systems, ACM Trans. Embed. Comput. Syst, vol.1039, issue.4, pp.1-39, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00637595

M. T. Manuel, R. Chakravarty, S. P. Lechtchinsky, and . Jones, Data Parallel Haskell: a Status Report. DAMP, 2007.

J. E. Stone, D. Gohara, and G. Shi, OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems, Computing in Science & Engineering, vol.12, issue.3, pp.66-73, 2010.
DOI : 10.1109/MCSE.2010.69

J. Sanders and E. Kandrot, CUDA by Example: An Introduction to General-Purpose GPU Programming, 2010.

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

A. Thomas, J. Henzinger, and . Sifakis, The Discipline of Embedded Systems Design, Computer, issue.10, pp.4032-4072, 2007.

A. Thomas, J. Henzinger, and . Sifakis, The Embedded Systems Design Challenge, Lecture Notes in Computer Science, vol.4085, pp.1-15, 2006.

E. Riccobene, P. Scandurra, A. Rosti, and S. Bocchio, A model-driven design environment for embedded systems, Proceedings of the 43rd annual conference on Design automation , DAC '06, pp.915-918, 2006.
DOI : 10.1145/1146909.1147141

C. Shih, C. Wu, C. Lin, . Pao-ann, N. Hsiung et al., A Model-Driven Multicore Software Development Environment for Embedded System, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.261-268, 2009.
DOI : 10.1109/COMPSAC.2009.148

A. Wendell-de-oliveira-rodrigues, F. Guyomarc-'h, and J. Dekeyser, Programming Massively Parallel Architectures using MARTE: a Case Study, 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011) on Date Conference 2011, 2011.

N. Hili, C. Fabre, S. Dupuy-chessa, D. Rieu, and I. Llopard, Model-Based Platform Composition for Embedded System Design, 2014 IEEE 8th International Symposium on Embedded Multicore/Manycore SoCs, 2014.
DOI : 10.1109/MCSoC.2014.31
URL : https://hal.archives-ouvertes.fr/hal-01071208

N. Hili, Une méthode pour le développement collaboratif de systèmes embarqués, Ecole doctorale Mathématiques, Sciences et Technologies de l'Information, 2014.

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-2740167, 1987.
DOI : 10.1016/0167-6423(87)90035-9

. Dong, A Formal Semantics for Complete UML State Machines with Communications, Integrated Formal Methods, 10th International Conference, IFM 2013, 2013.

E. Börger, A. Cavarra, and E. Riccobene, On formalizing UML state machines using ASMs Information and Software Technology, Special Issue on Software Engineering, Applications, Practices and Tools from the ACM Symposium on Applied Computing, pp.287-292, 2003.

D. Michael-von and . Beeck, A Structured Operational Semantics for UML-Statecharts. Software and Systems Modeling, pp.130-141, 2002.

P. Ivan and . Paltor, The Semantics of UML State Machines, 1999.

D. Michael-von and . Beeck, A Comparison of Statecharts Variants, Formal Techniques in Real-Time and Fault-Tolerant Systems, pp.128-148, 1994.

A. Charfi, C. Mraidha, and P. Boulet, An Optimized Compilation of UML State Machines, 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.172-179, 2012.
DOI : 10.1109/ISORC.2012.30
URL : https://hal.archives-ouvertes.fr/hal-00676943

M. Alras, P. Caspi, A. Girault, and P. Raymond, Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model, 2009 International Conference on Embedded Software and Systems, 2009.
DOI : 10.1109/ICESS.2009.36

J. C. Brodman, B. B. Fraguela, M. J. Garzarán, and D. Padua, New Abstractions for Data Parallel Programming, Proceedings of the First USENIX Conference on Hot Topics in Parallelism, HotPar'09, pp.16-16, 2009.

S. F. Hummel, S. Talla, and J. Brennan, The refinement of high-level parallel algorithm specifications, Programming Models for Massively Parallel Computers, p.106, 1995.
DOI : 10.1109/PMMPC.1995.504347

E. Guy and . Blelloch, NESL: A Nested Data-Parallel Language (Version 2.6), 1993.

E. Guy and . Blelloch, NESL: A Nested Data-Parallel Language, 1995.

B. Chapman, G. Jost, and R. Van-der-pas, Using OpenMP: Portable Shared Memory Parallel Programming (Scientific and Engineering Computation), p.9780262533027, 2007.

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-5414, 2007.
DOI : 10.1109/FOSE.2007.14
URL : https://hal.archives-ouvertes.fr/inria-00511368

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4
DOI : 10.1145/235321.235322

D. Harel and H. Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Lecture Notes in Computer Science, vol.3147, pp.325-354, 2004.
DOI : 10.1007/978-3-540-27863-4_19

E. Mikk, Y. Lakhnech, C. Petersohn, and M. Siegel, On Formal Semantics of Statecharts As Supported by STATEMATE, Proceedings of the 2Nd BCS-FACS Conference on Northern Formal Methods, 2FACS'97, pp.12-12, 1997.

J. M. Spivey, The Z Notation: A Reference Manual, 1989.

C. John and . Reynolds, Theories of Programming Languages, 1999.

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

G. Berry and G. Gonthier, The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Sci. Comput. Program, vol.1992, issue.2, pp.87-152, 1992.
URL : https://hal.archives-ouvertes.fr/inria-00075711

A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. L. Guernic et al., The synchronous languages 12 years later, Proceedings of the IEEE, pp.64-83, 2003.
DOI : 10.1109/JPROC.2002.805826

F. Chauvel and J. Jézéquel, Code Generation from UML Models with Semantic Variation Points, Model Driven Engineering Languages and Systems, pp.54-68
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105

E. Gery, D. Harel, and E. Palachi, Rhapsody: A Complete Life-Cycle Model-Based Development System, Lecture Notes in Computer Science, vol.2335, pp.1-10, 2002.
DOI : 10.1007/3-540-47884-1_1

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-oriented Software, 1995.

C. Robert and . Martin, UML Tutorial: Finite State Machines

P. Metz, J. O-'brien, and W. Weber, Code Generation Concepts for Statecharts Diagram of UML v1, 1999.

E. Dominguez, B. Pérez, A. L. Rubio, and M. A. Zapata, A systematic review of code generation proposals from state machine specifications, Information and Software Technology, vol.54, issue.10, pp.1045-1066, 2012.
DOI : 10.1016/j.infsof.2012.04.008

A. Huber and D. , The Boost Statechart Library

A. Charfi, C. Mraidha, S. Gerard, F. Terrier, and P. Boulet, Toward optimized code generation through model-based optimization, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), pp.1313-1316, 2010.
DOI : 10.1109/DATE.2010.5457010
URL : https://hal.archives-ouvertes.fr/inria-00522657

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

S. Dimitrios, . Kolovos, F. Richard, . Paige, A. Fiona et al., The Epsilon Transformation Language, Theory and practice of model transformations, pp.46-60, 2008.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework 2.0, 2009.

L. Bettini, Implementing Domain-Specific Languages with Xtext and Xtend. 2013. ISBN 9781782160304. URL http://www.packtpub.com/ implementing-domain-specific-languages-with-xtext-and-xtend

J. Merrill and G. Generic, A New Tree Representation for Entire Functions, Proc. GCC Developers Summit, pp.171-180, 2003.

P. Dumont, Spécification multidimensionelle pour le traitement du signal systématique, 2005.

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

A. Stephen and . Edwards, Tutorial: Compiling Concurrent Languages for Sequential Processors, ACM Trans. Des. Autom. Electron. Syst, vol.8, issue.2, pp.141-187, 2003.

P. Moj? and D. Jabcquette, On the Completeness of a Certain System of Arithmetic of Whole Numbers in Which Addition Occurs as the Only Operation, History and Philosophy of Logic, vol.12, issue.2, pp.225-233, 1991.

D. Scott, Toward a Mathematical Semantics for Computer Languages, 1971.

A. Brown and G. Wilson, The Architecture Of Open Source Applications, volume II. lulu.com, 2012.

P. Caspi, D. Pilaud, N. Halbwachs, and J. A. Plaice, LUSTRE: A Declarative Language for Realtime Programming, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '87, pp.178-188, 1987.

A. Gamatié, Designing Embedded Systems with the SIGNAL Programming Language: Synchronous , Reactive Specification, 2009.
DOI : 10.1007/978-1-4419-0941-1

G. Kahn, The Semantics of Simple Language for Parallel Programming, IFIP Congress, pp.471-475, 1974.

G. D. Plotkin, A Structural Approach to Operational Semantics, J. Log. Algebr. Program, pp.60-6117, 2004.

P. Dechering, L. Breebaart, F. Kuijlman, K. Van-reeuwijk, and H. Sips, Semantics and implementation of a generalized forall statement for parallel languages, Proceedings 11th International Parallel Processing Symposium, pp.542-548, 1997.
DOI : 10.1109/IPPS.1997.580953

W. Peng and S. Puroshothaman, Data flow analysis of communicating finite state machines, ACM Transactions on Programming Languages and Systems, vol.13, issue.3
DOI : 10.1145/117009.117015

T. Kotzmann and H. Mössenböck, Escape analysis in the context of dynamic compilation and deoptimization, Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments , VEE '05, pp.111-120, 2005.
DOI : 10.1145/1064979.1064996

U. Bondhugula, A. Hartono, J. Ramanujam, and P. Sadayappan, A Practical Automatic Polyhedral Program Optimization System, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2008.

S. Verdoolaege, J. C. Juega, A. Cohen, J. I. Gómez, C. Tenllado et al., Polyhedral parallel code generation for CUDA, ACM Transactions on Architecture and Code Optimization, vol.9, issue.4, pp.1-54, 2013.
DOI : 10.1145/2400682.2400713
URL : https://hal.archives-ouvertes.fr/hal-00786677

K. B. Wheeler, R. C. Murphy, and D. Thain, Qthreads: An API for programming with millions of lightweight threads, 2008 IEEE International Symposium on Parallel and Distributed Processing, pp.1-8, 2008.
DOI : 10.1109/IPDPS.2008.4536359

C. Bastoul, Code generation in the polyhedral model is easier than you think, Proceedings. 13th International Conference on Parallel Architecture and Compilation Techniques, 2004. PACT 2004., pp.7-16, 2004.
DOI : 10.1109/PACT.2004.1342537
URL : https://hal.archives-ouvertes.fr/hal-00017260

C. Loeffler, A. Ligtenberg, and G. S. Moschytz, Practical fast 1-D DCT algorithms with 11 multiplications, International Conference on Acoustics, Speech, and Signal Processing,, 1989.
DOI : 10.1109/ICASSP.1989.266596