, Advancing Traffic Efficiency and Safety through Software Technology phase 2 (ATESST2), Deliverable D4.1.1, EAST-ADL Domain Model Specification, 2010.

, Version 1.2, formal/ 2010-06-02, OMG, OMG Systems Modeling Language (OMG SysML), 2010.

, Automotive Open System Architecture) Specifications

/. Symta, HIP-HOPS tool

, Unified Modeling Language Superstructure v2.3, OMG Std

C. Mraidha, S. Tucci-piergiovanni, and G. S. , Optimum: a martebased methodology for schedulability analysis at early design stages, SIGSOFT Softw. Eng. Notes, vol.36, pp.1-8, 2011.

,

, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.0, formal/2009-11-02, OMG, 2009.

S. Anssi, S. Tucci-piergiovanni, S. Kuntz, S. Gerard, and F. Terrier, Enabling scheduling analysis for autosar systems, Object/ Component/Service-Oriented Real-Time Distributed Computing (ISORC), pp.152-159, 2011.

. East-eea, Project presentation

D. Chen, H. Lönn, F. Törner, and H. Blom, MAENAD: Model-based Analysis & Engineering of Novel Architectures for Dependable Electric Vehicles, 2008.

F. Ougier and F. Terrier, Eclipse based architecture of the edona platform for automotive system development, ERTS 2010, 2010.

T. N. Qureshi, D. Chen, H. Lönn, and M. Törngren, From east-adl to autosar software architecture: A mapping scheme, ECSA, pp.328-335, 2011.

, Draft International Standard Road Vehicles -Functional Safety, vol.26262, 2009.

A. Sandberg, D. Chen, H. Lönn, R. Johansson, L. Feng et al., Model-based safety engineering of interdependent functions in automotive vehicles using east-adl2, Proceedings of the 29th international conference on Computer safety, reliability, and security, ser. SAFECOMP'10, pp.332-346, 2010.

J. Balicki, Tabu-based evolutionary algorithm with negative selection for pareto-optimization in distributed systems, Proceedings of the 7th WSEAS International Conference on Artificial intelligence, knowledge engineering and data bases, ser. AIKED'08, pp.327-332, 2008.

M. Ceriani, F. Ferrandi, P. L. Lanzi, D. Sciuto, and T. A. , Multiprocessor systems-on-chip synthesis using multi-objective evolutionary computation, Proceedings of the 12th annual conference on Genetic and evolutionary computation, ser. GECCO '10, pp.1267-1274, 2010.

A. Ferrari, M. D. Natale, G. Gentile, G. Reggiani, and P. Gai, Time and memory tradeoffs in the implementation of autosar components, DATE, pp.864-869, 2009.

D. W. Coit, I. S. Member, A. E. Smith, and I. Member, Reliability optimization of series-parallel systems using a genetic algorithm, IEEE Transactions on Reliability, vol.45, pp.254-260, 1996.

S. S. Gokhale, Software application design based on architecture, reliability and cost, Proceedings of the Ninth International Symposium on Computers and Communications, vol.2, pp.1098-1103, 2004.

E. Azketa, J. P. Uribe, M. Marcos, L. Almeida, and J. J. Gutierrez, Permutational genetic algorithm for the optimized assignment of priorities to tasks and messages in distributed real-time systems, Proceedings of the 2011IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications, ser. TRUSTCOM '11, pp.958-965, 2011.

S. Tucci-piergiovanni, C. Mraidha, E. Wozniak, A. Lanusse, and G. S. , A uml model-based approach for replication assessment of autosar safety-critical applications, International Joint Conference of, vol.0, pp.1176-1187, 2011.

E. Wozniak, C. Mraidha, S. Gerard, and F. Terrier, A guidance framework for the generation of implementation models in the automotive domain, EUROMICRO-SEAA, pp.468-476, 2011.

L. Davis and . Ed, Handbook of Genetic Algorithms, 1991.

B. Buhnova, L. Grunske, A. Koziolek, and M. I. , Software architecture optimization methods: A systematic literature review, IEEE Transaction on Software Engineering, 2012.

S. Kugele, W. Haberl, M. Tautschnig, and M. Wechs, Optimizing automatic deployment using non-functional requirement annotations," in Leveraging Applications of Formal Methods, Verification and Validation, ser. Communications in Computer and Information Science, vol.17, pp.400-414, 2008.

B. Boone, F. D. Turck, and D. B. , Automated deployment of distributed software components with fault tolerance guarantees, Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications

D. C. Washington and . Usa, , pp.21-27, 2008.

. Wozniak, Int. J. Passeng. Cars -Electron. Electr. Syst, vol.6, issue.1, 2013.