G. Abowd, R. Allen, and D. Garlan, Using style to understand descriptions of software architecture, ACM SIGSOFT Software Engineering Notes, vol.18, issue.5, pp.9-20, 1993.
DOI : 10.1145/167049.167055

G. Abowd, R. Allen, and D. Garlan, Formalizing style to understand descriptions of software architecture, ACM Transactions on Software Engineering and Methodology, vol.4, issue.4, pp.319-364, 1995.
DOI : 10.1145/226241.226244

G. Agha, Actors : a Model of Concurrent Computation in Distributed Systems, 1986.

J. Aldrich, C. Chambers, and D. Notkin, Arch- Java : connecting software architecture to implementation
DOI : 10.1109/icse.2002.1007967

URL : http://archjava.fluid.cs.cmu.edu/papers/icse02.pdf

J. Aldrich, C. Chambers, and D. Notkin, Architectural Reasoning in ArchJava, Proceedings of the 16th European Conference on Object-Oriented Programming, pp.334-367, 2002.
DOI : 10.1007/3-540-47993-7_15

A. Muhammad, B. Babar, and . Kitchenham, Assessment of a framework for comparing software architecture analysis methods, EASE'07 : Proceedings of the 11th International Conference on Evaluation and Assessment in Software Engineering . Citeseer, 2007.

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078

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

A. Avizienis, The N-Version Approach to Fault-Tolerant Software, IEEE Transactions on Software Engineering, vol.11, issue.12, pp.1491-1501, 1985.
DOI : 10.1109/TSE.1985.231893

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

L. Bass, P. Clements, and R. Kazman, Software Architecture in Practice, 2003.

G. Behrmann, A. David, and K. G. Larsen, A tutorial on UPPAAL. Formal methods for the design of real-time systems, pp.33-35, 2004.

J. Bentley, Programming pearls, Communications of the ACM, vol.29, issue.8, pp.711-721, 1986.
DOI : 10.1145/6424.315691

J. Bézivin and O. Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-2001
DOI : 10.1109/ASE.2001.989813

J. Bruneau and C. Consel, DiaSim : a simulator for pervasive computing applications. Software : Practice and Experience, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00715745

J. Bruneau, W. Jouve, and C. Consel, DiaSim : A Parameterized Simulator for Pervasive Computing Applications, Mobiquitous'09 : Proceedings of the 6th International Conference on Mobile and Ubiquitous Systems : Computing, Networking and Services, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00403421

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

N. Cacho, F. C. Filho, A. F. Garcia, and E. Figueiredo, EJFlow, Proceedings of the 7th international conference on Aspect-oriented software development , AOSD '08, pp.72-83, 2008.
DOI : 10.1145/1353482.1353492

D. Cassou, Développement logiciel orienté paradigme de conception : la programmation dirigée par la spécification, 2011.

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, E. Balland, C. Consel, and J. Lawall, Leveraging software architectures to guide and verify the development of Sense
URL : https://hal.archives-ouvertes.fr/inria-00537789

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, pp.1445-1463, 2012.
DOI : 10.1109/TSE.2011.107

S. Chetan, A. Ranganathan, and R. H. Campbell, Towards fault tolerant pervasive computing, IEEE Technology and Society Magazine, vol.24, issue.1, pp.38-44, 2005.
DOI : 10.1109/MTAS.2005.1407746

URL : http://choices.cs.uiuc.edu/~chetan/papers/tfpc.pdf

P. Clements and M. Shaw, "The Golden Age of Software Architecture" Revisited, IEEE Software, vol.26, issue.4, pp.70-72, 2009.
DOI : 10.1109/MS.2009.83

F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi et al., Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI, IEEE Internet Computing, vol.6, issue.2, pp.86-93, 2002.
DOI : 10.1109/4236.991449

P. Asterio-de-castro-guerra, C. Mary-fischer-rubira, and E. R. De-lemos, A fault-tolerant software architecture for component-based systems. Architecting dependable systems, pp.129-149, 2003.

G. Vincenzo-de-florio, R. Deconinck, and . Lauwereins, The EFTOS voting farm : a software tool for fault masking in message passing parallel environments, Proceedings of the 24th Euromicro Conference, pp.379-386, 1998.

J. Dedecker, T. Van-cutsem, S. Mostinckx, T. D. Hondt, . Et-wolfgang-de et al., Ambient-oriented programming in AmbientTalk, Proceedings of the 20th European Conference on Object-Oriented Programming, pp.230-254, 2006.

B. Demsky and A. Dash, Bristlecone: A Language for Robust Software Systems, Proceedings of the 22nd European Conference on Object-Oriented Programming, pp.490-515, 2008.
DOI : 10.1007/978-3-540-70592-5_21

D. Do-178b, Software considerations in airborne systems and equipment certification, 1992.

J. Edstrom and E. Tilevich, Reusable and Extensible Fault Tolerance for RESTful Applications, 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications, pp.737-744, 2012.
DOI : 10.1109/TrustCom.2012.244

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.646.5442

Q. Enard, C. Louberry, C. Consel, and X. Blanc, An experimental study of a design-driven, tool-based development approach, 2012 First International Workshop on User Evaluation for Software Engineering Researchers (USER), 2012.
DOI : 10.1109/USER.2012.6226581

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

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

P. Th, P. A. Eugster, R. Felber, A. Guerraoui, and . Kermarrec, The many faces of publish/subscribe, ACM Computer Survey, vol.35, issue.2, pp.114-131, 2003.

. Exceptionpatterns, Portland pattern repository, 1995.

J. Fabre and T. Pérennou, Friends: A flexible architecture for implementing fault tolerant and secure distributed applications, EDCC'96 : Proceedings of the 2nd European Dependable Computing Conference on Dependable Computing, pp.3-20, 1996.
DOI : 10.1007/3-540-61772-8_27

D. Falessi, M. Babar, G. Cantone, and P. Kruchten, Applying empirical software engineering to software architecture: challenges and lessons learned, Empirical Software Engineering, vol.31, issue.5, pp.250-276, 2010.
DOI : 10.1007/s10664-009-9121-0

H. Peter and . Feiler, The Architecture Analysis & Design Language (AADL) : An introduction, 2006.

R. Thomas and F. , Architectural styles and the design of network-based software architectures, 2000.

P. Fernando-castor-filho, S. Henrique-da, . Brito, and . Et-cecília-mary-fischer-rubira, Specification of exception flow in software architectures, Journal of Systems and Software, vol.79, issue.10, pp.1397-1418, 2006.
DOI : 10.1016/j.jss.2006.02.060

V. De, F. , and C. Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computer Survey, vol.406, issue.2, pp.1-6, 2008.

A. F. Garcia, C. Mary-fischer-rubira, A. Romanovsky, and J. Xu, A comparative study of exception handling mechanisms for building dependable object-oriented software, Journal of Systems and Software, vol.59, issue.2, pp.197-222, 2001.
DOI : 10.1016/S0164-1212(01)00062-0

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

L. Peter and . Goddard, Software FMEA techniques, Proceedings of the Reliability and Maintainability Symposium, pp.118-123, 2000.

J. B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7791

M. Object and . Group, MDA, Model Driven Architecture, 2000.

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

T. A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine, 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

URL : http://doi.org/10.1006/inco.1994.1045

R. Hirschfeld-aksit and M. Mezini, AspectS - Aspect-Oriented Programming with Squeak, Objects, Components, Architectures, Services, and Applications for a Networked World, pp.216-232, 2003.
DOI : 10.1007/3-540-36557-5_17

Y. Huang, C. M. Kintala, L. Bernstein, and Y. Wang, Components for software fault tolerance and rejuvenation, AT&T Technical Journal, vol.75, issue.2, pp.29-37, 1996.
DOI : 10.15325/ATTTJ.1996.6771126

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.42-43, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01175916

V. Issarny and A. Zarras, Software architecture and dependability. Formal Methods for Software Architectures, pp.259-285, 2003.
DOI : 10.1007/978-3-540-39800-4_11

URL : https://hal.archives-ouvertes.fr/inria-00414798

H. Jakob, Towards securing pervasive computing systems by design : a language approach, These, Université Sciences et Technologies -Bordeaux I, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00719170

H. Jakob, N. Loriant, and C. Consel, An aspectoriented approach to securing distributed systems, ICPS'09 : Proceedings of the 2009 international conference on Pervasive services, pp.21-30, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00455398

H. Jakob, C. Consel, and N. Loriant, Architecturing Conflict Handling of Pervasive Computing Resources
DOI : 10.1038/scientificamerican0991-94

URL : https://hal.archives-ouvertes.fr/inria-00581604

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes et al., Aspect-oriented programming, Proceedings of the 11th European Conference on Object-Oriented Programming, pp.220-242, 1997.

M. Killijian and J. Fabre, Implementing a reflective fault-tolerant CORBA system, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000, pp.154-163, 2000.
DOI : 10.1109/RELDI.2000.885403

M. Killijian, J. Fabre, J. Ruiz-garcia, and S. Chiba, A metaobject protocol for faulttolerant CORBA applications, SRDS'98 : Proceedings of the 17th Symposium on Reliable Distributed Systems, pp.127-134, 1998.

J. Laprie, Dependable computing : Concepts, limits, challenges, Proceedings of the 25th International Symposium on Fault-Tolerant Computing -Special Issue, pp.42-54, 1995.
DOI : 10.1109/cmpsac.2004.1342838

M. Lippert and C. V. Lopes, A study on exception detection and handling using aspect-oriented programming, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, pp.418-427, 2000.
DOI : 10.1109/ICSE.2000.870432

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

T. Lodderstedt, D. Basin, and J. Doser, SecureUML : A UML-based modeling language for model-driven security. «UML» : The Unified Modeling Language, pp.426-441, 2002.

C. David, J. Luckham, and . Vera, An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995.

P. Maes, Concepts and experiments in computational reflection, OOPSLA '87 : Proceedings of the 2nd Conference on Object-Oriented Programming Systems, Languages and Applications, pp.147-155, 1987.

J. Magee and J. Kramer, Dynamic structure in software architectures, SIGSOFT'96 : Proceedings of the 4th ACM SIG- SOFT Symposium on Foundations of Software Engineering, pp.3-14, 1996.

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

F. Mérillon, L. Réveillère, C. Consel, R. Marlet, and G. Muller, Devil : an IDL for hardware programming, OSDI'00 : Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, pp.2-2, 2000.

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

S. Mostinckx, J. Dedecker, E. G. Boix, T. Van-cutsem, . Et-wolfgang-de et al., Ambient-Oriented Exception Handling, Advanced Topics in Exception Handling Techniques, pp.141-160, 2006.
DOI : 10.1007/11818502_8

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

R. Shankar, B. Ponnekanti, E. Johanson, A. Kiciman, and . Fox, Portability, extensibility and robustness in iROS, PerCom'03 : Proceedings of the First International Conference on Pervasive Computing and Communications, p.11, 2003.

B. Randell, System structure for software fault tolerance, ACM SIGPLAN Notices, vol.10, issue.6, pp.437-449, 1975.
DOI : 10.1145/390016.808467

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.2.578

B. Randell and J. Xu, The evolution of the recovery block concept, Software Fault Tolerance, pp.1-22, 1994.

. Grimm and . Robert, One.world: Experiences with a Pervasive Computing Architecture, IEEE Pervasive Computing, vol.03, issue.03, pp.22-30, 2004.
DOI : 10.1109/MPRV.2004.1321024

URL : https://hal.archives-ouvertes.fr/in2p3-00002551

N. Salatgé, Conception et mise en oeuvre d'une plate-forme pour la sûreté de fonctionnement des Services Web, 2006.

J. Costa, S. , and L. Caires, A basic model of typed components, Proceedings of the 14th European Conference on Object-Oriented Programming, pp.108-128, 2000.

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, 2012.
DOI : 10.1002/spe.1077

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 D. Garlan, Software Architecture : Perspectives on an Emerging Discipline, 1996.

Z. Quan, B. Sheng, and . Benatallah, ContextUML : A UML-based modeling language for model-driven development of context-aware Web Services, ICMB'05 : Proceedings of the International Conference on Mobile Business, pp.206-212, 2005.

I. Sommerville, Software Engineering (6). Pearson Studium, 2001.

C. Vugranam and . Sreedhar, Mixin'up components, Proceedings of the 24th International Conference on Software Engineering, pp.198-207, 2002.

T. Stahl, M. Voelter, and K. Czarnecki, Model-Driven Software Development : Technology, Engineering, Management, 2006.

M. Stoicescu, J. Fabre, and M. Roy, From Design for Adaptation to Component-Based Resilient Computing, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, pp.1-10
DOI : 10.1109/PRDC.2012.12

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

R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, J. et al., A component- and message-based architectural style for GUI software, Proceedings of the 17th international conference on Software engineering , ICSE '95, pp.295-304, 1995.
DOI : 10.1145/225014.225042

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

N. Ubayashi, J. Nomura, and T. Tamai, Archface, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.75-84, 2010.
DOI : 10.1145/1806799.1806815

S. Vestal, An overview of the Architecture Analysis & Design Language (AADL) error model annex, 2005.

M. Wermelinger, Y. Yu, A. Lozano, and A. Capiluppi, Assessing architectural evolution: a case study, Empirical Software Engineering, vol.106, issue.6, pp.623-666, 2011.
DOI : 10.1007/s10664-011-9164-x

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

B. Zalila, I. Hamid, J. Hugues, and L. Pautet, Generating Distributed High Integrity Applications from Their Architectural Description, Ada-Europe'07 : Proceedings of the 12th International Conference on Reliable Software Technologies, pp.155-167, 2007.
DOI : 10.1007/978-3-540-73230-3_12

Y. Zheng and R. N. Taylor, Enhancing architectureimplementation conformance with change management and support for behavioral mapping, ICSE'12 : Proceedings of the 34th International Conference on Software Engineering, pp.628-638