G. Agha, Actors: A Model of Concurrent Computation, 1986.

R. Allen and D. Garlan, Formalizing architectural connection, Proceedings of 16th International Conference on Software Engineering, pp.71-80, 1994.
DOI : 10.1109/ICSE.1994.296767

M. C. Astley, Customization and Composition of Distributed Objects: Policy Management in Distributed Software Architectures, 1999.

M. C. Astley and G. Agha, Customization and Composition of Distributed Objects: Middleware Abstractions for Policy Management, Proceedings of the 6th International Symposium on the Foundations of Software Engineering, pp.1-9, 1998.

M. Barbacci, C. Weinstock, D. Doubleday, M. Gardner, and R. Lichota, Durra: a structure description language for developing distributed applications, Software Engineering Journal, vol.8, issue.2, pp.83-94, 1993.
DOI : 10.1049/sej.1993.0012

R. Butler and W. Ricky, The SURE approach to reliability analysis, IEEE Transactions on Reliability, vol.41, issue.2, pp.210-218, 1992.
DOI : 10.1109/24.257783

P. C. Clements, A survey of architecture description languages, Proceedings of the 8th International Workshop on Software Specification and Design, 1996.
DOI : 10.1109/IWSSD.1996.501143

S. Floyd and V. Paxson, Difficulties in simulating the Internet, IEEE/ACM Transactions on Networking, vol.9, issue.4, 2001.
DOI : 10.1109/90.944338

D. Garlan, J. Kompanec, and P. Pinto, Reconciling the Needs of Architectural Description with Object-Modeling Notations, Proceedings of the 3rd International Conference on the Unified Modeling Language, 2000.

R. Geist and K. Trivedi, Reliability estimation of fault-tolerant systems: tools and techniques, Computer, vol.23, issue.7, pp.52-61, 1990.
DOI : 10.1109/2.56852

R. Glass, Software Reliability Guidebook, 1979.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.12, issue.10, pp.576-583, 1969.
DOI : 10.1145/363235.363259

C. A. Hoare, Communicating Sequential Processes, 1985.

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, pp.279-295, 1997.
DOI : 10.1109/32.588521

V. Issarny, Configuration-based programming systems, Proceedings of SOF- SEM'97: Theory and Practice of Informatics, pp.183-200, 1997.
DOI : 10.1007/3-540-63774-5_106

V. Issarny and J. Banâtre, Architecture-based exception handling, Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001.
DOI : 10.1109/HICSS.2001.927253

V. Issarny, C. Bidan, and T. Saridakis, Achieving middleware customization in a configuration-based development environment: experience with the Aster prototype, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), pp.207-214, 1998.
DOI : 10.1109/CDS.1998.675775

V. Issarny, C. Kloukinas, and A. Zarras, Systematic aid for developing middleware architectures, Communications of the ACM, vol.45, issue.6, pp.53-58, 2002.
DOI : 10.1145/508448.508474

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

S. C. Johnson, Reliability analysis of large, complex systems using ASSIST, Digital Avionics Systems Conference, pp.227-234
DOI : 10.2514/6.1988-3898

R. Kazman, S. J. Carriere, and S. G. Woods, Toward a Discipline of Scenario- Based Architectural Engineering, Annals of Software Engineering, vol.9, issue.1/4, pp.5-33, 2000.
DOI : 10.1023/A:1018964405965

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

J. Laprie, DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'., pp.2-11, 1985.
DOI : 10.1109/FTCSH.1995.532603

J. Laprie, J. Arlat, C. Beounes, and K. Kanoun, Definition and analysis of hardware- and software-fault-tolerant architectures, Computer, vol.23, issue.7, pp.39-51, 1990.
DOI : 10.1109/2.56851

D. C. Luckham and J. Vera, An event-based architecture definition language, IEEE Transactions on Software Engineering, vol.21, issue.9, pp.717-734, 1995.
DOI : 10.1109/32.464548

M. Klein, R. Kazman, L. Bass, S. J. Carriere, M. Barbacci et al., Attribute-based architectural styles, Proceedings of the 1st IFIP Working Conference on Software Architecture (WICSA-1), pp.225-243, 1999.

J. Magee, N. Dulay, and J. Kramer, Structuring parallel and distributed programs, Proceedings of the 1st International Conference on Configurable Distributed Systems, 1992.
DOI : 10.1049/sej.1993.0011

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

J. Magee, J. Kramer, and D. Giannakopoulou, Behavior Analysis of Software Architectures, Proceedings of the 1st IFIP Working Conference on Software Architectures (WICSA-1), pp.35-49, 1999.

J. Magee, J. Kramer, and M. Sloman, Constructing distributed systems in Conic, IEEE Transactions on Software Engineering, vol.15, issue.6, pp.663-675, 1989.
DOI : 10.1109/32.24720

N. Medvidovic, D. S. Rosenblum, J. E. Robbins, and D. F. Redmiles, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1
DOI : 10.1145/504087.504088

N. Medvidovic and R. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

R. Milner, A Calculus of Communicating Systems, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, Communicating and Mobile Systems: the pi-calculus, 1999.

M. Moriconi, X. Qian, and A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995.
DOI : 10.1109/32.385972

G. Myers, . Nasa-glenn-research, and . Center, Software Reliability -Principles and Practices [35] NASA. Reliability Block Diagrams and Reliability Modeling, 1976.

K. Nguyen and V. Issarny, Demonstration of Support for Architectural Design for Dependable SoS

M. Shaw, R. Deline, D. Klein, T. Ross, D. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995.
DOI : 10.1109/32.385970

F. Tartanoglu, V. Issarny, A. Romanovsky, and N. Levy, Architecting Dependable Systems, the Web Services Architecture, 2003.

R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, J. E. Robbins et al., A Component and Message Based Architectural Style for GUI Software, IEEE Transactions on Software Engineering, issue.6, pp.22390-406, 1996.

A. Zarras and V. Issarny, Automating the performance and reliability analysis of enterprise information systems, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2000.
DOI : 10.1109/ASE.2001.989827

A. Zarras, C. Kloukinas, and V. Issarny, Architecting Dependable Systems, volume 2677 of LNCS, chapter Quality Analysis of Dependable Systems: A Developer Oriented Approach, 2003.

A. Zarras, C. Kloukinas, V. Issarny, and K. Nguyen, Initial Results on Architectures and Dependable Mechanisms for Dependable SoSs, IC2 report An Architecture-based Environment for the Development of DSoS. Available at URL: http