E. De and T. , 139 9.5.1 Exploration de transformations composites, 139 9.5.2 Exploration de chaines de transformations de modèles . . . . . . . . . . . 142

E. Borde, Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, 2014.
DOI : 10.1109/RSP.2014.6966691

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

S. Rahmoun, E. Borde, and L. Pautet, Automatic selection and composition of model transformations alternatives using evolutionary algorithms, Proceedings of the 2015 European Conference on Software Architecture Workshops, ECSAW '15, 2015.
DOI : 10.1007/978-3-642-24485-8_46

S. Rahmoun, E. Borde, and L. Pautet, Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES), 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015.
DOI : 10.1109/ICECCS.2015.13

S. Rahmoun, . Mehiaoui-hamitou, . Asma, E. Borde, L. Pautet et al., Multi-objective exploration of architectural designs by composition of model transformations, International Journal on Software and Systems Modeling (SoSyM), 2016.
DOI : 10.1109/RTAS.2009.37

S. Lianshan and W. Jinyu, Modeling Nonfunctional Requirements in Software Product Line, pp.745-753, 2012.
DOI : 10.1007/978-3-642-27966-9_100

K. Pohl, G. Böckle, and F. J. Linden, Software Product Line Engineering: Foundations , Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, pp.42-45, 2003.
DOI : 10.1109/MS.2003.1231150

URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.170.9135&rep=rep1&type=pdf

N. Siegmund, M. Rosenmüller, M. Kuhlemann, C. Kästner, and G. Saake, Measuring Non-Functional Properties in Software Product Line for Product Derivation, 2008 15th Asia-Pacific Software Engineering Conference, pp.3-5, 2008.
DOI : 10.1109/APSEC.2008.45

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, pp.621-645, 2006.
DOI : 10.1147/sj.453.0621

URL : http://www.research.ibm.com/journal/sj/453/czarnecki.pdf

J. Jézéquel, O. Barais, and F. Fleurey, Model driven language engineering with kermeta, Proceedings of the 3rd International Summer School Conference on Generative and Transformational Techniques in Software Engineering III, GTTSE'09, pp.201-221, 2011.

F. Jouault and I. Kurtev, Transforming Models with ATL, Proceedings of the 2005 International Conference on Satellite Events at the MoDELS, MoDELS'05, pp.128-138, 2006.
DOI : 10.1007/11663430_14

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

T. Mens and P. Van-gorp, A Taxonomy of Model Transformation, Electronic Notes in Theoretical Computer Science, vol.152, pp.125-142, 2006.
DOI : 10.1016/j.entcs.2005.10.021

URL : https://doi.org/10.1016/j.entcs.2005.10.021

F. Telecom, Smartqvt: An open source model transformation tool implementing the mof 2.0 qvt-operational language, 2007.

A. Königs and A. Schürr, Tool Integration with Triple Graph Grammars - A Survey, Electronic Notes in Theoretical Computer Science, vol.148, issue.1, pp.113-150, 2006.
DOI : 10.1016/j.entcs.2005.12.015

D. S. Kolovos, R. F. Paige, and F. A. Polack, The Epsilon Transformation Language, pp.46-60, 2008.
DOI : 10.1007/978-3-540-69927-9_4

]. K. Lano, The uml-rsds manual, 2012.
DOI : 10.1007/978-3-319-74730-9_28

E. Borde, S. Rahmoun, F. Cadoret, L. Pautet, F. Singhoff et al., Architecture models refinement for fine grain timing analysis of embedded systems, 2014 25nd IEEE International Symposium on Rapid System Prototyping, pp.44-50, 2014.
DOI : 10.1109/RSP.2014.6966691

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

A. Etien, V. Aranega, X. Blanc, and R. F. Paige, Chaining model transformations, Proceedings of the First Workshop on the Analysis of Model Transformations, AMT '12, pp.9-14, 2012.
DOI : 10.1145/2432497.2432500

C. Castellanos, E. Borde, L. Pautet, G. Sébastien, and T. Vergnaud, Improving Reusability of Model Transformations by Automating their Composition, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications, p.2015
DOI : 10.1109/SEAA.2015.76

D. Wagelaar, Composition Techniques for Rule-Based Model Transformation Languages, pp.152-167, 2008.
DOI : 10.1007/978-3-540-69927-9_11

J. , S. Cuadrado, J. García, and . Molina, Approaches for model transformation reuse: Factorization and composition, 1st International Conference on Model Transformations (ICMT 08), pp.168-182, 2008.

D. Wagelaar, R. Van-der-straeten, and D. Deridder, Module superimposition: a composition technique for rule-based model transformation languages, Software & Systems Modeling, vol.16, issue.4, pp.285-309, 2009.
DOI : 10.1007/s10270-009-0134-3

C. A. Coello-coello, C. Dhaenens, and L. Jourdan, Multi-Objective Combinatorial Optimization: Problematic and Context, pp. 1?21, 2010.

I. P. Stanimirovic, M. L. Zlatanovic, and M. D. Petkovic, On the linear weighted sum method for multi-objective optimization, Facta Acta Universitatis, vol.26, pp.49-63, 2011.

M. Lukasiewycz, M. Glaß, C. Haubelt, and J. Teich, Efficient symbolic multiobjective design space exploration, Proceedings of the 2008 Asia and South Pacific Design Automation Conference, ASP-DAC '08, pp.691-696, 2008.
DOI : 10.1109/aspdac.2008.4484040

URL : http://www.cecs.uci.edu/~papers/aspdac08/pdf/p691_8B-4.pdf

J. Z. Li, J. Chinneck, M. Woodside, and M. Litoiu, Fast scalable optimization to configure service systems having cost and quality of service constraints, Proceedings of the 6th international conference on Autonomic computing, ICAC '09, pp.159-168, 2009.
DOI : 10.1145/1555228.1555268

URL : http://www.sce.carleton.ca/~zwli/publications/fastopt1-icac-update-jim.pdf

L. Zeng, B. Benatallah, P. Nguyen, and A. H. Ngu, Agflow: Agent-based crossenterprise workflow management system, Proceedings of the 27th International Conference on Very Large Data Bases, VLDB '01, pp.697-698, 2001.

R. Niemann and P. Marwedel, An algorithm for hardware/software partitioning using mixed integer linear programming, Design Automation for Embedded Systems, vol.2, issue.2, pp.165-193, 1997.
DOI : 10.1023/A:1008832202436

URL : http://ls12-www.cs.tu-dortmund.de/daes/media/documents/publications/downloads/1996-edtc.pdf

D. P. Solomatine, Genetic and other global optimization algorithms ? comparison and use in calibration problems, PROC., 3RD INT. CONF. ON HYDROINFOR- MATICS, BALKEMA, pp.1021-1027, 1998.

M. A. El-beltagy and A. J. Keane, A comparison of various optimization algorithms on a multilevel problem, Engineering Applications of Artificial Intelligence, vol.12, issue.5, pp.639-654, 1999.
DOI : 10.1016/S0952-1976(99)00033-0

URL : https://eprints.soton.ac.uk/23618/1/elbe_99b.pdf

A. Aleti, S. Bjornander, L. Grunske, and I. Meedeniya, ArcheOpterix: An extendable tool for architecture optimization of AADL models, 2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software, pp.61-71, 2009.
DOI : 10.1109/MOMPES.2009.5069138

URL : http://mdh.diva-portal.org/smash/get/diva2:517397/FULLTEXT01

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, 2011.
DOI : 10.1145/2000259.2000267

R. Li, R. Etemaadi, M. T. Emmerich, and M. R. Chaudron, An evolutionary multiobjective optimization approach to component-based software architecture design, 2011 IEEE Congress of Evolutionary Computation (CEC), pp.432-439, 2011.
DOI : 10.1109/CEC.2011.5949650

L. Grunske, Identifying "good" architectural design alternatives with multiobjective optimization strategies, Proceedings of the 28th International Conference on Software Engineering, ICSE '06, pp.849-852, 2006.
DOI : 10.1145/1134285.1134431

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

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012.

J. Fredriksson, K. Sandström, and M. Åkerholm, Optimizing Resource Usage in Component-Based Real-Time Systems, pp.49-65, 2005.
DOI : 10.1007/11424529_4

URL : http://www.mrtc.mdh.se/publications/0835.pdf

D. K. Friesen and M. A. Langston, Variable Sized Bin Packing, SIAM Journal on Computing, vol.15, issue.1, pp.222-230, 1986.
DOI : 10.1137/0215016

A. Martens and H. Koziolek, Automatic, Model-Based Software Performance Improvement for Component-based Software Designs, Electronic Notes in Theoretical Computer Science, vol.253, issue.1
DOI : 10.1016/j.entcs.2009.09.029

URL : https://doi.org/10.1016/j.entcs.2009.09.029

A. Martens, H. Koziolek, S. Becker, and R. Reussner, Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms, Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering, WOSP/SIPEW '10, pp.105-116, 2010.
DOI : 10.1145/1712605.1712624

URL : http://www.koziolek.de/docs/Martens2010-ICPE-preprint.pdf

S. Becker, H. Koziolek, and R. Reussner, The Palladio component model for model-driven performance prediction, Journal of Systems and Software, vol.82, issue.1, pp.3-22, 2009.
DOI : 10.1016/j.jss.2008.03.066

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

M. Ler, L. Laumanns, and . Thiele, Spea2: Improving the strength pareto evolutionary algorithm for multiobjective optimization, 2002.

N. Beume, B. Naujoks, and M. Emmerich, SMS-EMOA: Multiobjective selection based on dominated hypervolume, European Journal of Operational Research, vol.181, issue.3, pp.1653-1669, 2007.
DOI : 10.1016/j.ejor.2006.08.008

E. Insfran, J. Gonzalez-huerta, and S. Abrahão, Design Guidelines for the Development of Quality-Driven Model Transformations, Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems: Part II, MODELS'10, pp.288-302, 2010.
DOI : 10.1016/B978-0-444-88074-1.50011-1

R. Li, M. R. Chaudron, and R. C. Ladan, Towards automated software architectures design using model transformations and evolutionary algorithms, Proceedings of the 12th annual conference comp on Genetic and evolutionary computation, GECCO '10, pp.2097-2098, 2010.
DOI : 10.1145/1830761.1830880

M. L. Drago, C. Ghezzi, and R. Mirandola, Towards Quality Driven Exploration of Model Transformation Spaces, Proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, 2011.
DOI : 10.1007/978-3-642-16145-2_4

B. Schätz, F. Hölzl, and T. Lundkvist, Design-space exploration through constraintbased model-transformation, Engineering of Computer Based Systems (ECBS), 2010 17th IEEE International Conference and Workshops on, pp.173-182, 2010.

A. Ciancone, M. L. Drago, A. Filieri, V. Grassi, H. Koziolek et al., The KlaperSuite framework for model-driven reliability analysis of component-based systems, Software & Systems Modeling, pp.1269-1290, 2014.
DOI : 10.1109/TR.2004.838034

M. L. Drago, C. Ghezzi, and R. Mirandola, A quality driven extension to the qvtrelations transformation language, Comput. Sci, vol.30, pp.1-20, 2015.
DOI : 10.1007/s00450-011-0202-0

A. Kavimandan and A. Gokhale, Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems, Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems, QoSA '09, pp.18-35, 2009.
DOI : 10.1007/978-3-540-31880-4_11

URL : http://www.dre.vanderbilt.edu/~gokhale/WWW/papers/QoSA09_QoS_Opt.pdf

J. Xu, Rule-based automatic software performance diagnosis and improvement, Performance Evaluation, vol.67, issue.8, pp.585-611, 2010.
DOI : 10.1016/j.peva.2009.07.004

J. Denil, M. Jukss, C. Verbrugge, and H. Vangheluwe, Search-Based Model Optimization Using Model Transformations, pp.80-95, 2014.
DOI : 10.1007/978-3-319-11743-0_6

URL : http://www.cs.mcgill.ca/files/techReports/icse.pdf

Á. Hegedüs, Á. Horváth, and D. Varró, A model-driven framework for guided design space exploration, Automated Software Engineering, vol.2, issue.3, pp.399-436, 2015.
DOI : 10.1145/1013886.1007526

G. Loniewski, E. Borde, D. Blouin, and E. Insfran, An automated approach for architectural model transformations, 22nd International Conference on Information Systems Development (ISD2013), 2013.

F. Maswar, M. R. Chaudron, I. Radovanovic, and E. Bondarev, Improving architectural quality properties through model transformation, Proceedings of the, 2007.

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
DOI : 10.1109/TSE.2012.64

URL : http://www.zora.uzh.ch/id/eprint/72268/1/20130109134315_merlin-id_7344.pdf

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, On the Use of Higher-Order Model Transformations, Proceedings of the 5th European Conference on Model Driven Architecture -Foundations and Applications, 2009.
DOI : 10.1007/978-3-540-69927-9_11

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

F. P. Basso, R. M. Pillat, T. C. De-oliveira, and L. B. Becker, Supporting large scale model transformation reuse, Proceedings of the 12th International Conference on Generative Programming: Concepts and Experiences, 2013.
DOI : 10.1145/2517208.2517218

R. Heckel, J. Kuster, and G. Taentzer, Confluence of Typed Attributed Graph Transformation Systems, Lecture Notes in Computer Science, vol.2505, 2002.
DOI : 10.1007/3-540-45832-8_14

URL : http://www.cs.tu-berlin.de/~gabi/gHKT02b.pdf

O. M. Omg, Flow latency analysis with the architecture analysis and design language (aadl), 2012.

L. Zhang and S. Malik, The quest for efficient boolean satisfiability solvers, Proceedings of the 14th International Conference on Computer Aided Verification, CAV '02, pp.17-36, 2002.
DOI : 10.1007/3-540-45657-0_2

M. Davis and H. Putnam, A Computing Procedure for Quantification Theory, Journal of the ACM, vol.7, issue.3, pp.201-215, 1960.
DOI : 10.1145/321033.321034

M. Davis, G. Logemann, and D. Loveland, A machine program for theorem-proving, Communications of the ACM, vol.5, issue.7, pp.394-397, 1962.
DOI : 10.1145/368273.368557

D. , L. Berre, and A. Parrain, The sat4j library, release 2.2, Journal on Satisfiability Boolean Modeling and Computation, vol.7, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

D. Wagelaar, M. Tisi, J. Cabot, and F. Jouault, Towards a General Composition Semantics for Rule-Based Model Transformation, pp.623-637, 2011.
DOI : 10.1007/11538097_5

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

N. Srinivas and K. Deb, Multiobjective optimization using nondominated sorting in genetic algorithms, Evolutionary Computation, vol.2, 1994.
DOI : 10.1162/evco.1994.2.3.221

URL : https://www.mitpressjournals.org/userimages/ContentEditor/1164817256746/lib_rec_form.pdf

A. Jaouën, E. Borde, L. Pautet, T. Robert, and P. 4ps, Periodic-Delayed Protocol for Partitioned Systems, pp.149-165, 2014.

F. Cadoret, T. Robert, E. Borde, L. Pautet, and F. Singhoff, Deterministic implementation of periodic-delayed communications and experimentation in AADL, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), pp.1-8, 2013.
DOI : 10.1109/ISORC.2013.6913210

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

W. Zheng, Q. Zhu, M. D. Natale, and A. S. Vincentelli, Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems, 28th IEEE International Real-Time Systems Symposium (RTSS 2007), pp.161-170, 2007.
DOI : 10.1109/RTSS.2007.40

L. Sha, R. Rajkumar, and J. P. Lehoczky, Priority inheritance protocols: an approach to real-time synchronization, IEEE Transactions on Computers, vol.39, issue.9, pp.1175-1185, 1990.
DOI : 10.1109/12.57058

K. Tindell and A. Burns, Guaranteeing message latencies on control area network (can), Proceedings of the 1st International CAN Conference, Citeseer, 1994.

Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. Sangiovanni-vincentelli, Optimizing Extensibility in Hard Real-Time Distributed Systems, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.275-284, 2009.
DOI : 10.1109/RTAS.2009.37

F. Nadi and A. T. Khader, A parameter-less genetic algorithm with customized crossover and mutation operators, Proceedings of the 13th annual conference on Genetic and evolutionary computation, GECCO '11, pp.901-908, 2011.
DOI : 10.1145/2001576.2001700

S. Meyer-nieberg and H. Beyer, Self-Adaptation in Evolutionary Algorithms, pp.47-75, 2007.
DOI : 10.1007/978-3-540-69432-8_3

URL : http://www2.staff.fh-vorarlberg.ac.at/~hgb/New-Papers/self-adaptation.pdf