Best of Three Worlds: Towards Sound Architectural Dependability Models

This paper surveys the most prominent formalisms for availability and reliability analysis and discusses the pros and cons of these approaches. Based on our findings, we outline a solution that unites the merits of the existing approaches into a sound architectural dependability model.

[1]  Karama Kanoun,et al.  An architecture-based dependability modeling framework using AADL , 2007, ICSE 2007.

[2]  Kerstin Buchacker,et al.  Modeling with extended fault trees , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[3]  J. Aagedal,et al.  UML Pro?le for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms , 2004 .

[4]  W E Vesely,et al.  Fault Tree Handbook , 1987 .

[5]  Arndt Bode,et al.  OpenSESAME - the simple but extensive, structured availability modeling environment , 2008, Reliab. Eng. Syst. Saf..

[6]  S. Distefano,et al.  A new approach to modeling the system reliability: dynamic reliability block diagrams , 2006, RAMS '06. Annual Reliability and Maintainability Symposium, 2006..

[7]  Andrea Bondavalli,et al.  Automatic dependability analysis for supporting design decisions in UML , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[8]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[9]  Mariëlle Stoelinga,et al.  Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[10]  David Coppit,et al.  Formal semantics of models for computational engineering: a case study on dynamic fault trees , 2000, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000.

[11]  Kishor S. Trivedi,et al.  THE SYSTEM AVAILABILITY ESTIMATOR , 1996 .

[12]  Mariëlle Stoelinga,et al.  A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains , 2007, ATVA.

[13]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.