A. Consortium, ATESST2 Project web site, 2010.

P. Autosar-development, AUTOSAR web site, 2015.

L. Azevedo, D. Parker, M. Walker, Y. Papadopoulos, and R. Araujo, Assisted Assignment of Automotive Safety Requirements, IEEE Software, vol.31, issue.1, pp.62-68, 2014.
DOI : 10.1109/MS.2013.118

S. Baci, H. Kaijser, H. Lönn, M. Tichy, and W. Yuan, Tool assisted model based multi objective analyses of automotive embedded systems EAST-ADL Association web site, Proceedings of the 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems EATOP web site, 2015.

P. Feiler, . Gluch, . David, and J. Hudak, The Architecture Analysis & Design Language (AADL): An Introduction, FMI standard (2015). FMI standard homepage, 2006.
DOI : 10.21236/ADA455842

URL : http://www.dtic.mil/dtic/tr/fulltext/u2/a455842.pdf

R. Marinescu, H. Kaijser, M. Mikuèionis, C. Seceleanu, H. Lönn et al., Analyzing Industrial Architectural Models by Simulation and Model-Checking, proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, 2014.
DOI : 10.1007/978-3-319-17581-2_13

M. Consortium, MAENAD Project home page SysML Project web site, 2012.

M. Object and . Group, UML Profile for MARTE: Modelling and Analysis of Real- Time Embedded Systems ? Version 1.1. Document number: formal, pp.2011-2017, 2011.

M. Object and . Group, Software & Systems Process Engineering Metamodel specification (SPEM) ? Version 2.0. Document number: formal, pp.2008-2012, 2008.

Y. Papadopoulos, M. Walker, M. Reiser, D. Servat, A. Abele et al., Automatic Allocation of Safety Integrity Levels, 8th European Dependable Computing Conference -CARS workshop, pp.7-11978, 2010.
DOI : 10.1145/1772643.1772646

URL : http://www2.dcs.hull.ac.uk/people/cssyp/publications/HiP-HOPS_Automatic_Allocation_of_SILs-CARS_EDCC_2010.pdf

D. Parker, M. Walker, L. Azevedo, Y. Papadopoulos, and R. Araujo, Automatic Decomposition and Allocation of Safety Integrity Levels Using a Penalty-Based Genetic Algorithm, Recent Trends in Applied Artificial Intelligence LNCS, vol.7906, pp.449-459, 2013.
DOI : 10.1007/978-3-642-38577-3_46

T. Consortium, TIMMO 2 USE Project web site Next Generation Embedded Hardware Architectures: Driving Onset of Project Delays, Costs Overruns, and Software Development Challenged. Executive White Paper, licensed to distribute by Klocwork, pp.5-708, 2010.

M. Walker, M. Reiser, S. Tucci, Y. Papadopoulos, H. Lonn et al., Automatic optimisation of system architectures using EAST-ADL, Journal of Systems and Software, vol.86, issue.10, pp.862467-2487, 2013.
DOI : 10.1016/j.jss.2013.04.001

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