A. Abele, H. Lönn, M. Reiser, M. Weber, and H. Glathe, EPM, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, 2012.
DOI : 10.1145/2364412.2364455

M. Adachi, Y. Papadopoulos, S. Sharvia, D. Parker, and T. Tohdo, An approach to optimization of fault tolerant architectures using HiP-HOPS. Software Practice and Experience, 2011.
DOI : 10.1002/spe.1044

A. Aleti, S. Bjoernander, L. Grunske, and I. Meedeniya, ArcheOpterix: an extendable tool for architecture optimization of AADL models In: Model-based Methodologies for Pervasive and Embedded Software (MOMPES), pp.61-71, 2009.
DOI : 10.1109/mompes.2009.5069138
URL : http://mdh.diva-portal.org/smash/get/diva2:517397/FULLTEXT01

A. Aleti, L. Grunske, I. Meedeniya, and I. Moser, Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.505-509, 2009.
DOI : 10.1109/ASE.2009.59
URL : http://www.ict.swin.edu.au/personal/aaleti/papers/ASE2009.pdf

A. Aleti, B. Buhnova, L. Grunske, A. Koziolek, and I. Meedeniya, Software Architecture Optimization Methods: A Systematic Literature Review, IEEE Transactions on Software Engineering, vol.39, issue.5, pp.98-5589, 1999.
DOI : 10.1109/TSE.2012.64
URL : http://www.zora.uzh.ch/id/eprint/72268/1/20130109134315_merlin-id_7344.pdf

S. Anssi, S. Tucci-pergiovanni, C. Mraidha, A. Albinet, F. Terrier et al., Completing EAST-ADL with MARTE for enabling scheduling analysis for automotive applications, Embedded Real-Time Software and Systems, 2010.
DOI : 10.1007/978-3-642-25264-8_20

P. Bieber, C. Bougnol, C. Castel, J. Heckmann, C. Kehren et al., Safety Assessment with Altarica, pp.505-510, 2004.
DOI : 10.1007/978-1-4020-8157-6_45

M. Bozzano and A. Villafiorita, The FSAP/NuSMV-SA Safety Analysis Platform, International Journal on Software Tools for Technology Transfer, vol.23, issue.9, pp.5-24, 2007.
DOI : 10.1109/2.58215
URL : http://sra.fbk.eu/tools/FSAP/dissemination/papers/ecai06.pdf

D. Chen, R. Johansson, H. Lönn, and Y. Papadopoulos, Modelling Support for Design of Safety-Critical Automotive Embedded Systems, SAFECOMP 2008, pp.72-85, 2008.
DOI : 10.1007/978-3-540-87698-4_9

D. W. Coit and A. E. Smith, Penalty guided genetic search for reliability design optimization, Computers & Industrial Engineering, vol.30, issue.4, pp.895-904, 1996.
DOI : 10.1016/0360-8352(96)00040-X
URL : http://www.eng.auburn.edu/users/aesmith/postscript/compie.pdf

D. W. Coit and A. E. Smith, Reliability optimization of series-parallel systems using a genetic algorithm, IEEE Transactions on Reliability, vol.45, issue.2, pp.254-260, 1996.
DOI : 10.1109/24.510811

D. W. Corne, N. R. Jerram, J. D. Knowles, and M. J. Oates, PESA-II: region-based selection in evolutionary multiobjective optimisation, Proceedings of the Genetic and Evolutionary Computation Conference GECCO, pp.283-290, 2001.

K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, A fast and elitist multiobjective genetic algorithm: NSGA-II, IEEE Transactions on Evolutionary Computation, vol.6, issue.2, pp.182-197, 2002.
DOI : 10.1109/4235.996017
URL : http://work.caltech.edu/amrit/papers/nsga2.ps.gz

R. Etemaadi and M. R. Chaudron, A model-based tool for automated qualitydriven design of system architectures, Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA'12), pp.2-5, 2012.

P. H. Feiler and A. Rugina, Dependability Modelling with the Architecture Analysis and Design Language (AADL), 2007.
DOI : 10.21236/ada455842
URL : http://www.dtic.mil/dtic/tr/fulltext/u2/a455842.pdf

L. Grunske, B. Kaiser, and Y. Papadopoulos, Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations, CBSE'05, pp.33-48, 2005.
DOI : 10.1007/11424529_3

L. Grunske, P. Lindsay, E. Bondarev, Y. Papadopoulos, and D. Parker, An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems, Architecting Dependable Systems IV. LNCS, pp.188-209, 2007.
DOI : 10.1007/978-3-540-74035-3_9

A. Joshi, S. Vestal, and P. Binns, Automatic generation of static fault trees from AADL models, DSN'07 Workshop on Architecting Dependable Systems, 2007.

H. Kim, C. Bae, and S. Park, SIMULATED ANNEALING ALGORITHM FOR REDUNDANCY OPTIMIZATION WITH MULTIPLE COMPONENT CHOICES, Advanced Reliability Modeling, pp.237-244, 2004.
DOI : 10.1142/9789812702685_0031

A. Konak, D. W. Coit, and A. E. Smith, Multi-objective optimization using genetic algorithms: A tutorial, Reliability Engineering & System Safety, vol.91, issue.9, pp.992-1007, 2006.
DOI : 10.1016/j.ress.2005.11.018

A. Koziolek and R. Reussner, Towards a generic quality optimisation framework for component-based system models, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.21-23, 2011.
DOI : 10.1145/2000229.2000244

A. Koziolek, H. Koziolek, and R. Reussner, PerOpteryx, Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, QoSA-ISARCS '11, pp.33-42, 2011.
DOI : 10.1145/2000259.2000267

S. Kulturel-konak, A. E. Smith, and D. W. Coit, Efficiently Solving the Redundancy Allocation Problem Using Tabu Search, IIE Transactions, vol.35, issue.6, pp.515-526, 2003.
DOI : 10.1080/07408170304422
URL : http://www.eng.auburn.edu/users/smithae/publications/journal/Efficiently solving the redundancy allocation problem using tabu search.pdf

Y. C. Liang and A. E. Smith, An Ant Colony Optimization Algorithm for the Redundancy Allocation Problem (RAP), IEEE Transactions on Reliability, vol.53, issue.3, pp.417-423, 2004.
DOI : 10.1109/TR.2004.832816

A. Martens, D. Adagna, H. Koziolek, R. Mirandola, and R. Reussner, A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems, Proceedings of the 6th International Conference on the Quality of Software Architectures (QoSA'10), pp.84-101, 2010.
DOI : 10.1007/978-3-642-13821-8_8
URL : https://sdqweb.ipd.kit.edu/publications/pdfs/martens2010b.pdf

I. Meedeniya and L. Grunske, An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.229-238, 2010.
DOI : 10.1109/ISSRE.2010.19

I. Meedeniya, B. Buhnova, A. Aleti, and L. Grunske, Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems, Sixth International Conference on the Quality of Software Architectures, pp.52-68, 2010.
DOI : 10.1007/978-3-642-13821-8_6

I. Meedeniya, I. Moser, A. Aleti, and L. Grunske, Architecture-based reliability evaluation under uncertainty, Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS, QoSA-ISARCS '11, pp.85-94, 2011.
DOI : 10.1145/2000259.2000275

J. C. Palencia, G. Harbour, and M. , Schedulability analysis for tasks with static and dynamic offsets, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), p.26, 1998.
DOI : 10.1109/REAL.1998.739728

Y. Papadopoulos and C. Grante, Evolving car designs using model-based automated safety analysis and optimisation techniques, Journal of Systems and Software, vol.76, issue.1, pp.77-89, 2005.
DOI : 10.1016/j.jss.2004.06.027

Y. Papadopoulos, J. A. Mcdermid, R. Sasse, and G. Heiner, Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure, Reliability Engineering & System Safety, vol.71, issue.3, pp.229-247, 2001.
DOI : 10.1016/S0951-8320(00)00076-4

Y. Papadopoulos, M. Walker, M. Reiser, M. Weber, D. Servat et al., Automatic allocation of safety integrity levels, Proceedings of the 1st Workshop on Critical Automotive applications Robustness & Safety, CARS '10, pp.7-11, 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

Y. Papadopoulos, M. Walker, D. Parker, E. Rüde, R. Hamann et al., Engineering failure analysis and design optimisation with HiP-HOPS, Engineering Failure Analysis, vol.18, issue.2, pp.1350-6307, 2011.
DOI : 10.1016/j.engfailanal.2010.09.025

D. Parker, Multi-objective optimisation of safety?critical hierarchical systems, 2010.

D. Salazar, C. M. Rocco, and B. J. Galvan, Optimization of constrained multiple-objective reliability problems using evolutionary algorithms, Reliability Engineering & System Safety, vol.91, issue.9, pp.1057-1070, 2006.
DOI : 10.1016/j.ress.2005.11.040

B. Selic, A generic framework for modeling resources with UML, Computer, vol.33, issue.6, pp.64-69, 2000.
DOI : 10.1109/2.846320

M. Wallace, Modular Architectural Representation and Analysis of Fault Propagation and Transformation, Electronic Notes in Theoretical Computer Science, vol.141, issue.3, pp.53-71, 2005.
DOI : 10.1016/j.entcs.2005.02.051
URL : https://doi.org/10.1016/j.entcs.2005.02.051

M. Walker and Y. Papadopoulos, Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice, vol.17, issue.10, pp.1115-1125, 2009.
DOI : 10.1016/j.conengprac.2008.10.003

E. Zitzler, M. Laumanns, and L. Thiele, SPEA2: improving the strength Pareto evolutionary algorithm, Proceedings EUROGEN 2001 Evolutionary methods for Design, Optimisation and Control with Applications to Industrial Problems, 2001.

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