P. Cuenot, The EAST-ADL Architecture Description Language for Automotive Embedded Software, " in Model-Based Engineering of Embedded Real-Time Systems, 2011.

B. Selic and S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems, ser. The MK, 2013.

T. Weilkiens, Systems Engineering with SysML/UML: Modeling, Analysis, Design, ser. The MK, 2008.

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a flexible real time scheduling framework, ACM SIGAda Ada Letters, 2004.

M. G. Harbour, J. G. García, J. P. Gutiérrez, and J. D. Moyano, Mast: Modeling and analysis suite for real time applications, 13th Euromicro Conference on Real-Time Systems (ECRTS). IEEE, pp.125-134, 2001.

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, 1997.
DOI : 10.1007/s100090050010

B. Xu and M. Lu, A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation, Proceedings of the 2015 International Conference on Education, Management, Information and Medicine, 2015.
DOI : 10.2991/emim-15.2015.146

G. Brau, Integration of the analysis of non-functional properties in modeldriven engineering for embedded systems, 2017.

M. Lauer, Une méthode globale pour la vérification d'exigences temps réel -Application à l'Avionique Modulaire Intégrée, 2012.

C. Pagetti, D. Saussié, R. Gratia, E. Noulard, and P. Siron, The ROSACE case study: From Simulink specification to multi/many-core execution, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
DOI : 10.1109/RTAS.2014.6926012

N. Navet and L. Fejoz, The CPAL Programming Language: An introduction, v1, 2017.

. Mathworks, Simulink -Simulation and Model-Based Design, 2017.

G. Berry, Scade: Synchronous design and validation of embedded control software , " in Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems, pp.19-33, 2007.

J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu et al., Taming heterogeneity - the Ptolemy approach, Proceedings of the IEEE, pp.127-144, 2003.
DOI : 10.1109/JPROC.2002.805829
URL : http://ptolemy.eecs.berkeley.edu/~janneck/Publications/2003-ProcIEEE.pdf

]. A. Khoroshilov, I. Koverninskiy, A. Petrenko, and A. Ugnenko, Integrating aadlbased tool chain into existing industrial processes, 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011.
DOI : 10.1109/iceccs.2011.45

G. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003.
DOI : 10.1109/32.588521

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, From the prototype to the final embedded system using the Ocarina AADL tool suite, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.4, pp.421-4225, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

Y. Ouhammou, Model-based framework for using advanced scheduling theory in real-time systems design, Ecole Nationale, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00954468

A. Johnsen, K. Lundqvist, P. Pettersson, and O. Jaradat, Automated Verification of AADL-Specifications Using UPPAAL, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, pp.130-138, 2012.
DOI : 10.1109/HASE.2012.22

B. Berthomieu, J. Bodeveix, C. Chaudet, S. Dal-zilio, M. Filali et al., Formal Verification of AADL Specifications in the Topcased Environment, 14th International Conference on Reliable Software Technologies Ada-Europe, 2009.
DOI : 10.1109/ICECCS.2008.20

A. Rugina, K. Kanoun, and M. Kaâniche, The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation, 2008 Seventh European Dependable Computing Conference, pp.85-90, 2008.
DOI : 10.1109/EDCC-7.2008.14
URL : https://hal.archives-ouvertes.fr/hal-00323969

Y. Ouhammou, E. Grolleau, P. Richard, and M. Richard, Reducing the gap between design and scheduling, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.21-30, 2012.
DOI : 10.1145/2392987.2392990

V. Gaudel, Des patrons de conception pour assurer l'analyse d'architectures: un exemple avec l'analyse d'ordonnancement, 2014.

I. Ruchkin, D. De-niz, S. Chaki, and D. Garlan, Contract-based integration of cyber-physical analyses, 14th International Conference on Embedded Software (EMSOFT). ACM, p.23, 2014.

G. Brau, J. Hugues, and N. Navet, A Contract-Based Approach to Support Goal-Driven Analysis, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015.
DOI : 10.1109/ISORC.2015.29
URL : http://orbilu.uni.lu/bitstream/10993/20282/1/ISORC2015-pre.pdf

D. Jackson, Software Abstractions: logic, language, and analysis, 2012.

J. Migge, Scheduling of recurrent tasks on one processor : a trajectory based model, 1999.

C. Spitzer, U. Ferrell, and T. Ferrell, Digital avionics handbook, 2014.

J. Forget, A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints, 2009.

P. Binns, M. Englehart, M. Jackson, and S. Vestal, DOMAIN-SPECIFIC SOFTWARE ARCHITECTURES FOR GUIDANCE, NAVIGATION AND CONTROL, International Journal of Software Engineering and Knowledge Engineering, vol.06, issue.02, 1996.
DOI : 10.1142/S0218194096000107

L. Fejoz, ROSACE Case Study: A CPAL implementation (version 1.0) available in the examples programs of the CPAL distribution at https, 2016.

N. Navet, L. Fejoz, L. Havet, and S. Altmeyer, Lean Model-Driven Development through Model-Interpretation: the CPAL design flow, Embedded Real-Time Software and Systems (ERTS), 2016.
URL : https://hal.archives-ouvertes.fr/hal-01289494

A. Benveniste and G. Berry, The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991.
DOI : 10.1109/5.97297
URL : https://hal.archives-ouvertes.fr/inria-00075115

T. A. Henzinger, B. Horowitz, and C. M. Kirsch, Giotto: A time-triggered language for embedded programming, 2001.
DOI : 10.1109/jproc.2002.805825

J. Forget, F. Boniol, D. Lesens, and C. Pagetti, A real-time architecture design language for multi-rate embedded control systems, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.527-534, 2010.
DOI : 10.1145/1774088.1774196
URL : https://hal.archives-ouvertes.fr/hal-00688490

I. , C. Bertolotti, T. Hu, and N. Navet, Model-based design languages:a case study, 13th IEEE International Workshop on Factory Communication Systems (WFCS2017), 2017.
DOI : 10.1109/wfcs.2017.7991964

F. J. Cazorla, PROARTIS, ACM Transactions on Embedded Computing Systems, vol.12, issue.2s, pp.1-9426, 2013.
DOI : 10.1145/2465787.2465796
URL : https://hal.archives-ouvertes.fr/hal-00920535

S. Baruah and A. Burns, Sustainable Scheduling Analysis, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.159-168, 2006.
DOI : 10.1109/RTSS.2006.47

S. Altmeyer, S. M. Sundharam, and N. Navet, The Case for FIFO Real-Time Scheduling, 2015.

J. P. Craveiro, Real-Time Scheduling in Multicore Time-and Space- Partitioned Architectures, 2013.

G. Brau, J. Hugues, and N. Navet, Refinement of AADL models using early-stage analysis methods ? An avionics example Laboratory for Advanced Software Systems, 2013.

M. Boyer, J. Migge, and M. Fumey, PEGASE - A Robust and Efficient Tool for Worst-Case Network Traversal Time Evaluation on AFDX, SAE Technical Paper Series, 2011.
DOI : 10.4271/2011-01-2711