Reliability of Systems Subjected to Imperfect Fault Coverage

Due to imperfect fault coverage, the reliability of redundant systems cannot be enhanced unlimitedly with the increase of redundancy. Many works have been done on the reliability modeling and optimization of systems subjected to imperfect fault coverage. The methodologies adopted mainly include combinatorial approach, ordered binary decision diagram and universal generating function. Depending on the type of fault tolerant techniques used, there are mainly three kinds of fault coverage models: (1) element level coverage (ELC). (2) fault level coverage (FLC). and (3) performance-dependent coverage (PDC). This chapter reviews the literatures on the reliability of systems subjected to imperfect fault coverage and shows an extended work.

[1]  Xun Chen,et al.  Heterogeneous redundancy optimization for multi-state series-parallel systems subject to common cause failures , 2010, Reliab. Eng. Syst. Saf..

[2]  W. Schneeweiss.  Approximate Fault-Tree Analysis with Prescribed Accuracy , 1987, IEEE Transactions on Reliability.

[3]  Albert F. Myers,et al.  k-out-of-n: G System Reliability With Imperfect Fault Coverage , 2007, IEEE Trans. Reliab..

[4]  David W. Coit,et al.  Reliability optimization of series-parallel systems using a genetic algorithm , 1996, IEEE Trans. Reliab..

[5]  Hong-Zhong Huang,et al.  Reliability-Redundancy Allocation for Multi-State Series-Parallel Systems , 2008, IEEE Transactions on Reliability.

[6]  Hoda A. ElMaraghy,et al.  Performance analysis of manufacturing systems composed of modular machines using the universal generating function , 2008 .

[7]  Liudong Xing.  An Efficient Binary-Decision-Diagram-Based Approach for Network Reliability and Sensitivity Analysis , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Antoine Rauzy,et al.  Efficient Reliability Assessment of Redundant Systems Subject to Imperfect Fault Coverage Using Binary Decision Diagrams , 2008, IEEE Transactions on Reliability.

[9]  Liudong Xing,et al.  Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures , 2007, IEEE Transactions on Reliability.

[10]  S. Rahman.  Reliability Engineering and System Safety , 2011 .

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

[12]  Kishor S. Trivedi,et al.  Decomposition in Reliability Analysis of Fault-Tolerant Systems , 1983, IEEE Transactions on Reliability.

[13]  Shakil Akhtar,et al.  Reliability of k-out-of-n:G systems with imperfect fault-coverage , 1994 .

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

[15]  D. Elmakis,et al.  Redundancy optimization for series-parallel multi-state systems , 1998 .

[16]  Yoon Joon Lee,et al.  DESIGN OF DELAY-TOLERANT CONTROLLER FOR REMOTE CONTROL OF NUCLEAR REACTOR POWER , 2009 .

[17]  Hoang Pham,et al.  Optimal design of k-out-of-n:G subsystems subjected to imperfect fault-coverage , 2004, IEEE Transactions on Reliability.

[18]  Gregory Levitin,et al.  Reliability and performance of multi-state systems with propagated failures having selective effect , 2010, Reliab. Eng. Syst. Saf..

[19]  Hoang Pham.  Optimal cost-effective design of triple-modular-redundancy-with-spares systems , 1993 .

[20]  W. C. Carter,et al.  Reliability modeling techniques for self-repairing computer systems , 1969, ACM '69.

[21]  J. Newton.  Comment on: Reliability of k-out-of-n:G systems with imperfect fault-coverage , 1995 .

[22]  Albert F. Myers.  Achievable Limits on the Reliability of $k$-out-of- $n$:G Systems Subject to Imperfect Fault Coverage , 2008, IEEE Transactions on Reliability.

[23]  Antoine Rauzy,et al.  Assessment of redundant systems with imperfect coverage by means of binary decision diagrams , 2008, Reliab. Eng. Syst. Saf..

[24]  Thomas F. Arnold,et al.  The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System , 1973, IEEE Transactions on Computers.

[25]  Yves Dutuit,et al.  New insights into the assessment of k-out-of-n and related systems , 2001, Reliab. Eng. Syst. Saf..

[26]  Liudong Xing,et al.  Analysis of generalized phased-mission system reliability, performance, and sensitivity , 2002, IEEE Trans. Reliab..

[27]  Hoang Pham.  Reliability analysis of a high voltage system with dependent failures and imperfect coverage , 1992 .

[28]  Gregory Levitin,et al.  The Universal Generating Function in Reliability Analysis and Optimization , 2005 .

[29]  A. Myers.  Probability of Loss Assessment of Critical $k$-Out-of-$n$:G Systems Having a Mission Abort Policy , 2009, IEEE Transactions on Reliability.

[30]  Yung-Ruei Chang,et al.  OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage , 2005, IEEE Transactions on Dependable and Secure Computing.

[31]  Kishor S. Trivedi,et al.  Analysis of Typical Fault-Tolerant Architectures using HARP , 1987, IEEE Transactions on Reliability.

[32]  Sy-Yen Kuo,et al.  Efficient and Exact Reliability Evaluation for Networks With Imperfect Vertices , 2007, IEEE Transactions on Reliability.

[33]  M. Zuo,et al.  Genetic-algorithm-based optimal apportionment of reliability and redundancy under multiple objectives , 2009 .

[34]  Hoang Pham,et al.  Reliability analysis of dynamic redundant systems with imperfect coverage , 1992 .

[35]  Magdi S. Moustafa.  Reliability analysis of K-out-of-N: G systems with dependent failures and imperfect coverage , 1997 .

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

[37]  Wei-Chang Yeh.  A Convolution Universal Generating Function Method for Evaluating the Symbolic One-to-All-Target-Subset Reliability Function of Acyclic Multi-State Information Networks , 2009, IEEE Transactions on Reliability.

[38]  K.B. Misra,et al.  A Fast Algorithm for Reliability Evaluation , 1975, IEEE Transactions on Reliability.

[39]  Kishor S. Trivedi,et al.  HiRel: Hybrid Automated Reliability Predictor (HARP) integrated reliability tool system, (version 7.0). Volume 2: HARP tutorial , 1994 .

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

[41]  Kishor S. Trivedi,et al.  Hybrid reliability modeling of fault-tolerant computer systems , 1984 .

[42]  Wei Li,et al.  A Framework for Reliability Approximation of Multi-State Weighted $k$-out-of-$n$ Systems , 2010, IEEE Transactions on Reliability.

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

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

[45]  Gregory Levitin.  Optimal Structure of Multi-State Systems With Uncovered Failures , 2008, IEEE Transactions on Reliability.

[46]  J. Abraham.  An Improved Algorithm for Network Reliability , 1979, IEEE Transactions on Reliability.

[47]  Mario G. Perhinschi,et al.  Design of safety monitor schemes for a fault tolerant flight control system , 2006 .

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

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

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

[51]  Gregory Levitin,et al.  Multi-state systems with multi-fault coverage , 2008, Reliab. Eng. Syst. Saf..

[52]  Gregory Levitin,et al.  Block diagram method for analyzing multi-state systems with uncovered failures , 2007, Reliab. Eng. Syst. Saf..