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.

G. Behrmann, A. David, and K. Larsen, A Tutorial on Uppaal. Formal methods for the design of real-time systems, pp.33-35, 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

S. Burmester, M. Tichy, and H. Giese, Modeling Reconfigurable Mechatronic Systems with Mechatronic UML, Proceedings of Model- Driven Architecture: Foundations and Applications, pp.155-169, 2004.

D. Cassou, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of sense/compute/control applications, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.431-440, 2011.
DOI : 10.1145/1985793.1985852
URL : https://hal.archives-ouvertes.fr/inria-00537789

D. Cassou, B. Bertran, N. Loriant, and C. Consel, A Generative Programming Approach to Developing Pervasive Computing Systems, GPCE'09: Proceedings of the 8th International Conference on Generative Programming and Component Engineering, pp.137-146, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00405819

D. Cassou, J. Bruneau, C. Consel, and E. Balland, Toward a Tool-Based Development Methodology for Pervasive Computing Applications, IEEE Transactions on Software Engineering, vol.38, issue.6, p.99, 2011.
DOI : 10.1109/TSE.2011.107

B. Dion, Correct-By-Construction Methods for the Development of Safety-Critical Applications, SAE Technical Paper Series, pp.242-249, 2004.
DOI : 10.4271/2004-01-1735

P. Dissaux and F. Singhoff, Stood and Cheddar: AADL as a Pivot Language for Analysing Performances of Real Time Architectures, Proceedings of the European Real Time System conference, 2008.

P. Feiler, The Architecture Analysis & Design Language (AADL): An Introduction, 2006.

S. Gatti, E. Balland, and C. Consel, A Stepwise Approach for Integrating QoS throughout Software Development, FASE'11: Proceedings of the 14th European Conference on Fundamental Approaches to Software Engineering, pp.217-231, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00561619

T. A. Henzinger, X. Nicollin, J. Sifakis, Y. , and S. , Symbolic model checking for real-time systems, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, pp.193-244, 1994.
DOI : 10.1109/LICS.1992.185551

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, vol.7, pp.1-25, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

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, 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

J. Mercadal, Q. Enard, C. Consel, and N. Loriant, A Domain-Specific Approach to Architecturing Error Handling in Pervasive Computing, OOPSLA'10: Proceedings of the Conference on Object Oriented Programming Systems Languages and Applications, pp.47-61, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00486930

S. Miller, Specifying the mode logic of a flight guidance system in CoRE and SCR, Proceedings of the second workshop on Formal methods in software practice , FMSP '98, pp.44-53, 1998.
DOI : 10.1145/298595.298856

A. R. Perry, The FlightGear Flight Simulator, Proceedings of the USENIX Annual Technical Conference, 2004.

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

F. Singhoff, J. Legrand, L. Nana, and L. Marcé, Cheddar: a Flexible Real Time Scheduling Framework, pp.1-8, 2004.

R. N. Taylor, N. Medvidovic, and E. M. Dashofy, Software architecture, 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, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

S. Vestal, An Overview of the Architecture Analysis & Design Language (AADL) Error Model Annex, AADL Workshop, 2005.

M. Volter, T. Stahl, J. Bettin, A. Haase, and S. Helsen, Model-driven Software Development: Technology, Engineering, Management, 2006.

J. Windsor and K. Hjortnaes, Time and Space Partitioning in Spacecraft Avionics, 2009 Third IEEE International Conference on Space Mission Challenges for Information Technology, pp.13-20, 2009.
DOI : 10.1109/SMC-IT.2009.11