J. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

R. Allen and D. Garlan, The wright architectural specification language Rapport technique CMU-CS-96-TBD, 1996.

M. Alturki, D. Dhurjati, D. Yu, A. Chander, and H. Inamura, Formal Specification and Analysis of Timing Properties in Software Systems, Fundamental Approaches to Software Engineering, pp.262-277, 2009.
DOI : 10.1007/978-3-642-00593-0_18

P. Amey, Correctness by construction : Better can also be cheaper, CrossTalk : the Journal of Defense Software Engineering, vol.2, pp.24-28, 2002.

A. Avizienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing. Dependable and Secure Computing, IEEE Transactions on, vol.1, issue.1, pp.11-33, 2004.

E. Balland, C. Consel, N. Bernard, . Kaoua, and . Et-hélène-sauzéon, A case for human-driven software development, 2013 35th International Conference on Software Engineering (ICSE), pp.1229-1232, 2013.
DOI : 10.1109/ICSE.2013.6606685
URL : https://hal.archives-ouvertes.fr/hal-00814296

A. Basu, M. Gallien, C. Lesire, T. Nguyen, S. Bensalem et al., Incremental component-based construction and verification of a robotic system, pp.631-635, 2008.

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

G. Behrmann, A. David, G. Kim, and . Larsen, A tutorial on uppaal. Dans Formal methods for the design of real-time systems, pp.200-236, 2004.

R. Ben-halima and K. Drira, A qosoriented reconfigurable middleware for self-healing web services, ICWS'08. IEEE International Conference on, pp.104-111, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00358827

S. Bensalem, M. Gallien, F. Ingrand, I. Kahloul, and T. Nguyen, Toward a more dependable software architecture for autonomous robots, IEEE Robotics and Automation Magazine, vol.16, issue.1, pp.1-11, 2009.

A. Bertolino and R. Mirandola, CB-SPE Tool: Putting Component-Based Performance Engineering into Practice, Component-Based Software Engineering, pp.233-248, 2004.
DOI : 10.1007/978-3-540-24774-6_21
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9563

M. Noury, T. Bouraqadi-saâdani, and . Ledoux, Le point sur la programmation par aspects, Technique et Sciences Informatiques, vol.20, issue.4, pp.505-528, 2001.

J. Bruel, J. Araújo, A. Moreira, and A. Royer, Using aspects to develop built-in tests for components, AOSD Modeling with UML Workshop, 6th International Conference on the Unified Modeling Language (UML), 2003.

J. Bruel, G. Georg, H. Hussmann, I. Ober, C. Pohl et al., Models for Non-functional Aspects of Component-Based Software (NfC???04), UML Modeling Languages and Applications, pp.62-66, 2005.
DOI : 10.1007/978-3-540-31797-5_7

J. Bruneau, Développement et Test d'Applications d'Informatique Ubiquitaire : Une Méthodologie Outillée, p.46, 2012.

J. Bruneau, W. Jouve, and C. Consel, Diasim : A parameterized simulator for pervasive computing applications, Mobile and Ubiquitous Systems : Networking & Services, MobiQuitous, 2009. MobiQuitous' 09. 6th Annual International, pp.1-10, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403421

J. Bruneau, Q. Enard, S. Gatti, and E. Balland, Charles Consel, et al. Design-driven development of safety-critical applications : A case study in avionics, 2011.

S. Burmester, M. Tichy, and . Et-holger-giese, Modeling reconfigurable mechatronic systems with mechatronic uml, Proceedings of Model Driven Architecture : Foundations and Applications, pp.155-169, 2004.

S. Burmester, H. Giese, M. Hirsch, D. Schilling, and M. Tichy, The fujaba real-time tool suite, Proceedings of the 27th international conference on Software engineering , ICSE '05, pp.670-671, 2005.
DOI : 10.1145/1062455.1062601

F. Carcenac and F. Boniol, A formal framework for verifying distributed embedded systems based on abstraction methods, International Journal on Software Tools for Technology Transfer, vol.1, issue.1???2, pp.471-484, 2006.
DOI : 10.1007/s10009-006-0011-0

V. Cardellini, E. Casalicchio, V. Grassi, F. L. Presti, and R. Mirandola, Qos-driven runtime adaptation of service oriented architectures, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

D. Cassou, B. Bertran, N. Loriant, and C. Consel, A generative programming approach to developing pervasive computing systems, Dans ACM Sigplan Notices, vol.27, issue.70, pp.137-146, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00405819

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and
URL : https://hal.archives-ouvertes.fr/inria-00537789

D. Doose and Z. Mammeri, Polyhedra-Based Approach for Incremental Validation of Real-Time Systems, Embedded and Ubiquitous Computing?EUC 2005, pp.184-193, 2005.
DOI : 10.1007/11596356_21

F. Duclos, J. Estublier, and P. Morat, Describing and using non functional aspects in component based applications, Proceedings of the 1st international conference on Aspect-oriented software development , AOSD '02, pp.65-75
DOI : 10.1145/508386.508394

Q. Enard, Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception, p.54, 2013.

Q. Enard, S. Gatti, J. Bruneau, Y. Moon, E. Balland et al., Design-driven development of dependable applications : A case study in avionics, PECCS-3rd International Conference on Pervasive and Embedded Computing and Communication Systems, pp.44-63, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00794329

J. Fabre and T. Pérennou, Friends: A flexible architecture for implementing fault tolerant and secure distributed applications, pp.1-20, 1996.
DOI : 10.1007/3-540-61772-8_27

H. Peter, . Feiler, P. David, . Gluch, J. John et al., Embedded system architecture analysis using sae aadl, 2004.

J. Fredriksson, M. Tivoli, and I. Crnkovic, A component-based development framework for supporting functional and non-functional analysis in control system design, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.368-371
DOI : 10.1145/1101908.1101972

S. Fürst, J. Mössinger, S. Bunzel, T. Weber, F. Kirschke-biller et al., AUTOSAR?A Worldwide Standard is on the Road, 14th International VDI Congress Electronic Systems for Vehicles, 2009.

M. Gallien and F. Ingrand, Planification et exécution de plan pour la robotique autonome

D. Garlan, Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000.
DOI : 10.1145/336512.336537

S. Gatti, E. Balland, and C. Consel, A stepwise approach for integrating qos throughout software development. Dans Fundamental Approaches to Software Engineering, pp.217-231, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00561619

S. Gatti, F. Aimé, S. Treuchot, and J. Jourdan, Incremental functional certification for avionic functions reuse & evolution, DASC'12-Proceedings of the 31st AIAA/IEEE Digital Avionics System Conference, p.2012

S. Gatti, F. Aimé, S. Treuchot, and J. Jourdan, Incremental functional certification, Proceedings of the Avionics Europe 2013 Conference for the Commercial & Defence Aerospace Industrie, 2013.

V. Gaudel, F. Singhoff, A. Plantec, S. Rubini, P. Dissaux et al., An Ada design pattern recognition tool for AADL performance analysis, ACM SIGAda Ada Letters, vol.31, issue.3, pp.61-68, 2011.
DOI : 10.1145/2070336.2070359
URL : https://hal.archives-ouvertes.fr/hal-00801282

T. Genßler, A. Christoph, M. Winter, O. Nierstrasz, S. Ducasse et al., Components for embedded software, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02, pp.19-26, 2002.
DOI : 10.1145/581630.581634

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, pp.1305-1320, 1991.
DOI : 10.1109/5.97300

N. Halbwachs, A synchronous language at work : the story of lustre. Dans Formal Methods and Models for Co-Design, MEMOCODE'05. Proceedings. Third ACM and IEEE International Conference on, pp.3-11, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00190883

K. Riadh-ben-halima and . Drira, A QoS-oriented reconfigurable middleware for self-healing web services, Proceedings of the 6th IEEE International Conference on Web Services, pp.104-111, 2008.

H. Timothy, . Harrison, L. David, . Levine, C. Douglas et al., The design and performance of a real-time corba event service, ACM SIGPLAN Notices, vol.32, issue.10, pp.184-200, 1997.

D. Haverkamp and R. Richards, Towards safety critical middleware for avionics applications, 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings. LCN 2002., pp.716-722, 2002.
DOI : 10.1109/LCN.2002.1181849

J. Hugues, B. Zalila, L. Pautet, and F. Kordon, From the prototype to the final embedded system using the ocarina aadl tool suite, ACM Transactions on Embedded Computing Systems (TECS), vol.7, issue.4, p.42, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

N. Iwahashi, Robots That Learn Language: Developmental Approach to Human-Machine Conversations, Symbol Grounding and Beyond, pp.143-167, 2006.
DOI : 10.1007/11880172_12

H. Jakob, C. Consel, and N. Loriant, Architecturing Conflict Handling of Pervasive Computing Resources, Distributed Applications and Interoperable Systems, pp.92-105, 2011.
DOI : 10.1038/scientificamerican0991-94
URL : https://hal.archives-ouvertes.fr/inria-00581604

S. Jha and A. Seneviratne, Synchronisation skew: a QoS measurement study, Proceedings 24th Conference on Local Computer Networks. LCN'99, pp.77-78, 1999.
DOI : 10.1109/LCN.1999.802000

V. Li-jie-jin, . Machiraju, and . Sahai, Analysis on service level agreement of web services, 2002.

A. Keller and H. Ludwig, The wsla framework : Specifying and monitoring service level agreements for web services, Journal of Network and Systems Management, vol.11, issue.1, pp.57-81, 2003.
DOI : 10.1023/A:1022445108617

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, ECOOP 2001?Object-Oriented Programming, pp.327-354, 2001.
DOI : 10.1007/3-540-45337-7_18

M. Killijian and J. Fabre, Adaptive fault tolerant systems: reflective design and validation, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213387

H. Kopetz and G. Bauer, The time-triggered architecture, Proceedings of the IEEE, vol.91, issue.1, pp.112-126, 2003.
DOI : 10.1109/JPROC.2002.805821

H. Koziolek and J. Happe, A QoS Driven Development Process Model for Component-Based Software Systems, Proceedings of the 9th International Symposium on Component-Based Software Engineering, pp.336-343, 2006.
DOI : 10.1007/11783565_25

K. Krogmann, C. M. Schweda, S. Buckl, M. Kuperberg, A. Martens et al., Improved Feedback for Architectural Performance Prediction Using Software Cartography Visualizations, Proceedings of the 5th International Conference on the Quality of Software Architectures, pp.52-69, 2009.
DOI : 10.1177/109434209901300310

K. Krogmann, M. Christian, S. Schweda, M. Buckl, A. Kuperberg et al., Improved Feedback for Architectural Performance Prediction Using Software Cartography Visualizations, Architectures for Adaptive Software Systems, pp.52-69, 2009.
DOI : 10.1177/109434209901300310

M. Lafaye, D. Faura, M. Gatti, and L. Pautet, A new modeling approach for IMA platform early validation, Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES '10, pp.17-20
DOI : 10.1145/1865875.1865878

M. Lafaye, M. Gatti, . Faura, and . Pautet, Model driven early exploration of ima execution platform, Digital Avionics Systems Conference (DASC), pp.7-9, 2011.

G. Lasnier, B. Zalila, L. Pautet, and J. Hugues, Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications, Reliable Software Technologies?Ada-Europe 2009, pp.237-250, 2009.
DOI : 10.1109/MC.2007.344

B. Littlewood and L. Strigini, Software reliability and dependability, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.175-188, 2000.
DOI : 10.1145/336512.336551

C. David, . Luckham, J. John, . Kenney, M. Larry et al., Specification and analysis of system architecture using rapide. Software Engineering, IEEE Transactions on, vol.21, issue.4, pp.336-354, 1995.

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, Specifying distributed software architectures, Software Engineering?ESEC'95, pp.137-153, 1995.
DOI : 10.1007/3-540-60406-5_12
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.7933

N. Medvidovic, N. Richard, and . Taylor, A classification and comparison framework for software architecture description languages. Software Engineering, IEEE Transactions on, vol.26, issue.1, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

J. Mercadal, Q. Enard, C. Consel, and N. Loriant, A domain-specific approach to architecturing error handling in pervasive computing, Dans ACM Sigplan Notices, vol.44, issue.54, pp.47-61, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00486930

M. Mernik, J. Heering, M. Et-anthony, and . Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892

P. Steven and . Miller, Specifying the mode logic of a flight guidance system in core and scr. Dans Proceedings of the second workshop on Formal methods in software practice, pp.44-53, 1998.

P. Oudeyer, Intelligent adaptive curiosity : a source of self-development, 2004.

P. Mike and . Papazoglou, Service-oriented computing : Concepts, characteristics and directions. Dans Web Information Systems Engineering, Proceedings of the Fourth International Conference on, pp.3-12, 2003.

C. Parra, D. Romero, S. Mosser, R. Rouvoy, L. Duchien et al., Using constraint-based optimization and variability to support continuous self-adaptation, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.486-491
DOI : 10.1145/2245276.2245370
URL : https://hal.archives-ouvertes.fr/inria-00632269

A. R. Perry, The FlightGear flight simulator, 2004.

A. Lamont-pope, The CORBA reference guide : understanding the common object request broker architecture, 1998.

T. Robert, J. Fabre, and M. Roy, On-line Monitoring of Real Time Applications for Early Error Detection, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, pp.24-31, 2008.
DOI : 10.1109/PRDC.2008.31

B. Sabata, S. Chatterjee, M. Davis, J. Jaroslaw, . Sydir et al., Taxonomy for qos specifications . Dans Object-Oriented Real-Time Dependable Systems, Proceedings., Third International Workshop on, pp.100-107, 1997.

D. Schmidt and F. Kuhns, An overview of the Real-Time CORBA specification, Computer, vol.33, issue.6, pp.56-63, 2000.
DOI : 10.1109/2.846319

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable service-oriented architectures. Software : Practice and Experience, pp.559-583
URL : https://hal.archives-ouvertes.fr/inria-00567442

M. Shaw, Beyond objects, ACM SIGSOFT Software Engineering Notes, vol.20, issue.1, pp.27-38, 1995.
DOI : 10.1145/225907.225911

M. Shaw and P. Clements, The golden age of software architecture. Software, IEEE, vol.23, issue.2, pp.31-39

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar : a flexible real time scheduling framework, ACM SIGAda Ada Letters, pp.1-8, 2004.

D. Spinellis, Notable design patterns for domain-specific languages, Journal of Systems and Software, vol.56, issue.1, pp.91-99, 2001.
DOI : 10.1016/S0164-1212(00)00089-3

M. Stoicescu, J. Fabre, and M. Roy, Architecting Resilient Computing Systems: Overall Approach and Open Issues, Software Engineering for Resilient Systems, pp.48-62, 2011.
DOI : 10.1007/978-3-642-02164-0_4

C. Szyperski, Component software : beyond objectoriented programming. Pearson Education, 2002.

G. Tamura, QoS-CARE : Un Système Fiable pour la Préservation de Contrats de Qualité de Service à travers de la Reconfiguration Dynamique, p.2012

N. Richard, N. Taylor, . Medvidovic, M. Et-eric, and . Dashofy, Software architecture : foundations, theory, and practice, 2009.

S. Vestal, MetaH Programmer's Manual, 1996.

A. Vogel, B. Kerhervé, G. Von-bochmann, and J. Gecsei, Distributed multimedia and qos : A survey. Multimedia, IEEE, vol.2, issue.2, pp.10-19, 1995.

M. Volter, T. Stahl, J. Bettin, A. Haase, and S. Helsen, Model-driven software development : Technology, engineering, management, 2006.

N. Wang, C. Douglas, . Schmidt, O. Et-carlos, and . Ryan, Overview of the corba component model. Dans Component-Based Software Engineering, pp.557-571, 2001.

T. Yu and K. Lin, Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints, Service-Oriented Computing-ICSOC 2005, pp.130-143, 2005.
DOI : 10.1007/11596141_11

C. Zhang, D. Gao, and H. Jacobsen, Towards just-in-time middleware architectures, Proceedings of the 4th international conference on Aspect-oriented software development , AOSD '05, pp.63-74, 2005.
DOI : 10.1145/1052898.1052904