Binary decision diagram-based reliability evaluation of k-out-of-(n + k) warm standby systems subject to fault-level coverage

Warm standby sparing is a fault-tolerance technique that attempts to improve system reliability while compromising the system energy consumption and recovery time. However, when the imperfect fault coverage effect (an uncovered component fault can propagate and cause the whole system to fail) is considered, the reliability of a warm standby sparing can decrease with an increasing level of the redundancy. This article studies the reliability of a warm standby sparing subject to imperfect fault coverage, in particular, fault level coverage where the coverage probability of a component depends on the number of failed components in the system. The suggested approach is combinatorial and based on a generalized binary decision diagrams technique. The complexity for the binary decision diagram construction is analyzed, and several case studies are given to illustrate the application of the approach.

[1]  Liudong Xing,et al.  Redundancy allocation for series-parallel warm-standby systems , 2011, 2011 IEEE International Conference on Industrial Engineering and Engineering Management.

[2]  Chuen-Horng Lin,et al.  A redundant repairable system with imperfect coverage and fuzzy parameters , 2008 .

[3]  Chi Zhou,et al.  A Perfect Power demonstration system , 2010, 2010 Innovative Smart Grid Technologies (ISGT).

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

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

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

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

[8]  J Gauthier,et al.  Assessment of large automatically generated fault trees by means of binary decision diagrams , 2007 .

[9]  Rodrigo Picos,et al.  State of the art of the virtual utility: the smart distributed generation network , 2004 .

[10]  Benjamin A Carreras,et al.  Complex systems analysis of series of blackouts: cascading failure, critical points, and self-organization. , 2007, Chaos.

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

[12]  Ji Hwan Cha,et al.  Optimal design of a general warm standby system , 2010, Reliab. Eng. Syst. Saf..

[13]  Kuo-Hsiung Wang,et al.  Simulation inferences for an availability system with general repair distribution and imperfect fault coverage , 2010, Simul. Model. Pract. Theory.

[14]  Jau-Chuan Ke,et al.  On a repairable system with detection, imperfect coverage and reboot: Bayesian approach , 2008, Simul. Model. Pract. Theory.

[15]  D. L. Pepyne,et al.  Topology and cascading line outages in power grids , 2007 .

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

[17]  C. Ibáñez-Llano,et al.  Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment , 2008 .

[18]  Dapeng Wu,et al.  Fault-Tolerant and Scalable Key Management for Smart Grid , 2011, IEEE Transactions on Smart Grid.

[19]  Liudong Xing,et al.  Reliability analysis of warm standby systems using sequential BDD , 2011, 2011 Proceedings - Annual Reliability and Maintainability Symposium.

[20]  Jau-Chuan Ke,et al.  A repairable system with imperfect coverage and reboot: Bayesian and asymptotic estimation , 2009, Math. Comput. Simul..

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

[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]  Glenn Dill,et al.  A new method for reliability analysis of standby systems , 2009, 2009 Annual Reliability and Maintainability Symposium.

[24]  Jau-Chuan Ke,et al.  Bayesian Analysis for a Redundant Repairable System with Imperfect Coverage , 2008, Commun. Stat. Simul. Comput..

[25]  G. Newaz,et al.  Instability and surface diffusion of ultrathin liquid perfluoropolyether films on amorphous carbon surfaces , 2008 .

[26]  Chen-Shang Lin,et al.  On the OBDD-Representation of General Boolean Functions , 1992, IEEE Trans. Computers.

[27]  Liudong Xing,et al.  Reliability of Smart Grid Systems with Warm Standby Spares and Imperfect Coverage , 2012, SMARTGREENS.

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

[29]  Ming Jian Zuo,et al.  Evaluating a warm standby system with components having proportional hazard rates , 2009, Oper. Res. Lett..

[30]  Sofia Cassel,et al.  Graph-Based Algorithms for Boolean Function Manipulation , 2012 .

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

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

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