OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage

Algorithms for evaluating the reliability of a complex system such as a multistate fault-tolerant computer system have become more important. They are designed to obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation, and common-cause failures. This paper presents an efficient method based on ordered binary decision diagram (OBDD) for evaluating the multistate system reliability and the Griffith's importance measures which can be regarded as the importance of a system-component state of a multistate system subject to imperfect fault-coverage with various performance requirements. This method combined with the conditional probability methods can handle the dependencies among the combinatorial performance requirements of system modules and find solutions for multistate imperfect coverage model. The main advantage of the method is that its time complexity is equivalent to that of the methods for perfect coverage model and it is very helpful for the optimal design of a multistate fault-tolerant system.

[1]  Joanne Bechta Dugan,et al.  A combinatorial approach to modeling imperfect coverage , 1995 .

[2]  Antoine Rauzy,et al.  New algorithms for fault trees analysis , 1993 .

[3]  Roslyn M. Sinnamon,et al.  Improved efficiency in qualitative fault tree analysis , 1997 .

[4]  C. Lie,et al.  Joint reliability-importance of two edges in an undirected network , 1993 .

[5]  Richard E. Barlow,et al.  Coherent Systems with Multi-State Components , 1978, Math. Oper. Res..

[6]  Suprasad V. Amari,et al.  Optimal reliability of systems subject to imperfect fault-coverage , 1999 .

[7]  Shaomin Wu,et al.  Performance utility-analysis of multi-state systems , 2003, IEEE Trans. Reliab..

[8]  Kishor S. Trivedi,et al.  Numerical transient analysis of markov models , 1988, Comput. Oper. Res..

[9]  Olivier Coudert,et al.  Symbolic prime generation for multiple-valued functions , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[10]  Shyue-Kung Lu,et al.  OBDD-based evaluation of k-terminal network reliability , 2002, IEEE Trans. Reliab..

[11]  Kishor S. Trivedi,et al.  Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems , 1989, IEEE Trans. Computers.

[12]  Joanne Bechta Dugan,et al.  Fault trees and imperfect coverage , 1989 .

[13]  Suprasad V. Amari,et al.  A separable method for incorporating imperfect fault-coverage into combinatorial models , 1999 .

[14]  Nader Ebrahimi,et al.  Multistate reliability models , 1984 .

[15]  Xue Janan,et al.  On Multistate System Analysis , 1985, IEEE Transactions on Reliability.

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

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

[18]  L. Caldarola,et al.  Coherent systems with multistate components , 1980 .

[19]  Randal E. Bryant,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.

[20]  Alan P. Wood,et al.  Multistate Block Diagrams and Fault Trees , 1985, IEEE Transactions on Reliability.

[21]  Fan C. Meng.  Some further results on ranking the importance of system components , 1995 .

[22]  Kai Yang,et al.  Dynamic reliability analysis of coherent multistate systems , 1995 .

[23]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components , 2003, IEEE Trans. Computers.

[24]  Suprasad V. Amari,et al.  Comment on: dynamic reliability analysis of coherent multistate systems , 1997 .

[25]  M. Vangel.  System Reliability Theory: Models and Statistical Methods , 1996 .

[26]  T. H. Savits,et al.  A decomposition for multistate monotone systems , 1982 .

[27]  F. C. Meng,et al.  Component-relevancy and characterization results in multistate systems , 1993 .

[28]  S. Garribba,et al.  Multiple-Valued Logic Trees: Meaning and Prime Implicants , 1985, IEEE Transactions on Reliability.

[29]  Yung-Ruei Chang,et al.  Reliability evaluation of multi-state systems subject to imperfect coverage using OBDD , 2002, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings..

[30]  S. Kuo,et al.  Determining terminal-pair reliability based on edge expansion diagrams using OBDD , 1999 .

[31]  A. Gandini,et al.  Importance and sensitivity analysis in assessing system reliability , 1990 .

[32]  Michael J. Armstrong.  Joint reliability-importance of components , 1995 .

[33]  David J. Sherwin,et al.  System Reliability Theory—Models and Statistical Methods , 1995 .

[34]  Kishor S. Trivedi,et al.  A BDD-based algorithm for reliability analysis of phased-mission systems , 1999 .

[35]  T. Aven.  On performance measures for multistate monotone systems , 1993 .

[36]  F. C. Meng.  Comparing the importance of system components by some structural characteristics , 1996, IEEE Trans. Reliab..

[37]  Gregory Levitin.  Incorporating common-cause failures into nonrepairable multistate series-parallel system analysis , 2001, IEEE Trans. Reliab..

[38]  Yung-Ruei Chang,et al.  Computing system failure frequencies and reliability importance measures using OBDD , 2004, IEEE Transactions on Computers.

[39]  B. Natvig.  Two suggestions of how to define a multistate coherent system , 1982, Advances in Applied Probability.

[40]  Kishor S. Trivedi,et al.  Dependability analysis of distributed computer systems with imperfect coverage , 1999, Digest of Papers. Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing (Cat. No.99CB36352).