J. Arberet, F. Bodeveix, J. Boniol, G. Buisson, D. Cannenterre et al., SPaCIFY: a Formal Model- Driven Engineering for Spacecraft On-Board Software, Proceedings of the 5th Conference on Embedded Real Time Software and Systems (ERTS'10), 2010. [AC15] SAE AS2-C. SAE Architecture Analysis and Design Language (AADL) Annex VolumeAer97] Aeronautical Radio Inc. Avionics Application Software Standard Interface, 1997.

. Amw-+-17-]-m, G. Muñoz-arancón, M. Montano, K. Wirkus, D. Hoeflinger et al., Esrocos: A robotic operating system for space and terrestrial applications Dreams toolchain: Model-driven engineering of mixedcriticality systems, Proceedings of 20th International Conference on Model Driven Engineering Languages and Systems (Models'17), 2017.

A. Burns, B. Dobbing, and T. Vardanega, Guide for the use of the Ada Ravenscar Profile in high integrity systems, ACM SIGAda Ada Letters, vol.XXIV, issue.2
DOI : 10.1145/997119.997120

D. Daniel-cederman, J. Hellström, G. Sherrill, M. Bloom, M. Patte et al., [COB16] COBHAM. GR712RC Dual-Core LEON3-FT SPARC V8 Processor, Data Systems In AerospaceGR740-UM-DS.pdf. [DRE13] DREAMS consortium. DREAMS: Distributed REal-time Architecture for Mixed Criticality Systems, 2013.

J. Fenn, T. Cornilleau, Y. Oakshott, and A. Britto, A pragmatic approach to capturing safety and security relevant information for reusable European Component Oriented Architecture software components, 9th IET International Conference on System Safety and Cyber Security (2014), pp.1-6, 2014.
DOI : 10.1049/cp.2014.0978

A. Gacek, J. Backes, D. Cofer, K. Slind, and M. Whalen, Resolute: an assurance case language for architecture models, Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, pp.19-28, 2014.

J. Hugues and J. Delange, Model-Based Design and Automated Validation of ARINC653 Architectures Using the AADL, Cyber-Physical System Design from an Architecture Analysis Viewpoint : Communications of NII Shonan Meetings, pp.33-52, 2017.
DOI : 10.1145/2663171.2663177

L. John, D. A. Hennessy, and . Patterson, Computer Architecture , Fifth Edition: A Quantitative Approach, 1990.

C. Honvault, J. Delange, and J. Windsor, Modelbased engineering approach for system architecture exploration, Proceedings of the 6th Conference on Embedded Real Time Software and Systems (ERTS'12), 2012.

[. Leserf, P. De-saqui-sannes, and J. Hugues, Multi domain optimization with SysML modeling, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015.
DOI : 10.1109/ETFA.2015.7301406

P. Metge and . Arberet, Xtratum: An open source hypervisor for TSP embedded systems in aerospace, DASIA 2009. DAta Systems In Aerospace, 2009.

H. [. Nicolas, P. Posadas, E. Peñil, and . Villar, Automatic deployment of component-based embedded systems from UML/MARTE models using MCAPI, Design of Circuits and Integrated Systems, pp.1-6, 2014.
DOI : 10.1109/DCIS.2014.7035575

E. Pcd-+-10-]-maxime-perrotin, P. Conquet, and . Dissaux, Thanassis Tsiodras, and Jérôme Hugues. The TASTE toolset: turning human designed heterogeneous systems into computer built homogeneous software, Proceedings of the 5th Conference on Embedded Real Time Software and Systems (ERTS'10), 2010.

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), pp.309-318, 2014.
DOI : 10.1109/RTAS.2014.6926012

M. Panunzio, T. Vardanega-urbina, and R. Obermaisser, A component-based process with separation of concerns for the development of embedded real-time software systems, 2015 IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA), pp.105-121, 2014.
DOI : 10.1016/j.jss.2014.05.076

J. Zamorano and J. A. De-la-puente, On real-time partitioned multicore systems, ACM SIGAda Ada Letters, vol.33, issue.2, pp.33-39, 2013.
DOI : 10.1145/2552999.2553003
URL : http://oa.upm.es/25812/1/25812p33-zamorano.pdf