Reliability and availability analysis of dependent-dynamic systems with DRBDs

Abstract Reliability/availability evaluation is an important, often indispensable, step in designing and analyzing (critical) systems, whose importance is constantly growing. When the complexity of a system is high, dynamic effects can arise or become significant. The system might be affected by dependent, cascade, on-demand and/or common cause failures, its units could interfere (load sharing, inter/sequence-dependency), and so on. It is also of great interest to evaluate redundancy and maintenance policies but, since dynamic behaviors usually do not satisfy the stochastic independence assumption, notations such as reliability block diagrams (RBDs), fault trees (FTs) or reliability graphs (RGs) become approximated/simplified techniques, unable to capture dynamic–dependent behaviors. To overcome such problem we developed a new formalism derived from RBDs: the dynamic RBDs (DRBDs). In this paper we explain how the DRBDs notation is able to adequately model and therefore analyze dynamic–dependent behaviors and complex systems. Particular emphasis is given to the modeling and the analysis phases, from both the theoretical and the practical point of views. Several case studies of dynamic–dependent systems, selected from literature and related to different application fields, are proposed. In this way we also compare the DRBDs approach with other methodologies, demonstrating its effectiveness.

[1]  Kishor S. Trivedi SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator , 2002, Proceedings International Conference on Dependable Systems and Networks.

[2]  Kishor S. Trivedi,et al.  Performance And Reliability Analysis Of Computer Systems (an Example-based Approach Using The Sharpe Software , 1997, IEEE Transactions on Reliability.

[3]  Marc Bouissou,et al.  A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes , 2003, Reliab. Eng. Syst. Saf..

[4]  Kishor S. Trivedi,et al.  Reliability analysis techniques explored through a communication network example , 1996 .

[5]  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..

[6]  Rolf Haenni,et al.  Propositional DAGs: A New Graph-Based Language for Representing Boolean Functions , 2006, KR.

[7]  David Coppit,et al.  Combining various solution techniques for dynamic fault tree analysis of computer systems , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[8]  A. Puliafito,et al.  Dynamic Reliability Block Diagrams VS Dynamic Fault Trees , 2007, 2007 Annual Reliability and Maintainability Symposium.

[9]  Antonio Puliafito,et al.  A Parallel Approach for the Solution of Non-Markovian Petri Nets , 2003, PVM/MPI.

[10]  Kishor S. Trivedi,et al.  Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.

[11]  Kishor S. Trivedi,et al.  Dependability modeling using Petri-nets , 1995 .

[12]  David Coppit,et al.  The Galileo fault tree analysis tool , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).

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

[14]  A. Brall,et al.  Reliability Block Diagram Modeling - Comparisons of Three Software Packages , 2007, 2007 Annual Reliability and Maintainability Symposium.

[15]  V. Volovoi Modeling of System Reliability Using Petri Nets with Aging Tokens , 2004 .

[16]  Giuliana Franceschinis,et al.  Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics , 2003, IEEE Trans. Software Eng..

[17]  Terry Williams,et al.  Probability and Statistics with Reliability, Queueing and Computer Science Applications , 1983 .

[18]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.

[19]  Kishor S. Trivedi,et al.  A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models , 1994, IEEE Trans. Computers.

[20]  Antonio Puliafito,et al.  Dynamic reliability block diagrams: Overview of a methodology , 2007 .

[21]  Elmer E. Lewis,et al.  A load-capacity interference model for common-mode failures in 1-out-of-2: G systems , 2001, IEEE Trans. Reliab..

[22]  Rolf Haenni,et al.  Reliability and Diagnostics of Modular Systems: a New Probabilistic Approach , 2006 .

[23]  Antonio Puliafito,et al.  A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs , 2000, IEEE Trans. Software Eng..

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

[25]  M. Bouissou A Generalization of Dynamic Fault Trees through Boolean logic Driven Markov Processes (BDMP)® , 2007 .

[26]  William H. Sanders,et al.  The Mobius modeling tool , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[27]  Antonio Puliafito,et al.  Modeling Distributed Computing System Reliability with DRBD , 2006, 2006 25th IEEE Symposium on Reliable Distributed Systems (SRDS'06).

[28]  Joanne Bechta Dugan,et al.  Dependability assessment using binary decision diagrams (BDDs) , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing. Digest of Papers.

[29]  Jeffery D. Lewins,et al.  Basics of the Monte Carlo Method with Application to System Reliability , 2003 .

[30]  David Coppit,et al.  Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees , 2000 .

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

[32]  Kishor S. Trivedi,et al.  Stochastic Reward Nets for Reliability Prediction , 1996 .

[33]  Martin L. Shooman,et al.  Reliability of Computer Systems and Networks: Fault Tolerance,Analysis,and Design , 2002 .

[34]  Kishor S. Trivedi Probability and Statistics with Reliability, Queuing, and Computer Science Applications , 1984 .

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

[36]  Luigi Portinale,et al.  Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool , 2006, First International Conference on Availability, Reliability and Security (ARES'06).

[37]  Hasan A. Kamal Reliability Assessment of Structural Systems Using Discrete-Event Simulation , 1999 .

[38]  David Coppit,et al.  Developing a high-quality software tool for fault tree analysis , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[39]  Boudewijn R. Haverkort,et al.  Performance and reliability analysis of computer systems: An example-based approach using the sharpe software package , 1998 .

[40]  Poong-Hyun Seong,et al.  Reliability graph with general gates: an intuitive and practical method for system reliability analysis , 2002, Reliab. Eng. Syst. Saf..

[41]  Mostafa Abd-El-Barr,et al.  Design and analysis of reliablle and fault-tolerant computer systems , 2007 .

[42]  D. Ogden,et al.  Reliability block diagram simulation techniques applied to the IEEE Std. 493 standard network , 2004, IEEE Transactions on Industry Applications.

[43]  Vitali Volovoi,et al.  Modeling of system reliability Petri nets with aging tokens , 2004, Reliab. Eng. Syst. Saf..

[44]  Mark Allen Boyd Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems , 1992 .