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.
Coll-MayorDPicosRGarciá-MorenoE. State of the art of the virtual utility: the smart distributed generation network. Int J Energ Res2004; 28: 65–80.
2.
IwayemiAYiPLiuP. A perfect power demonstration system. In: Innovative smart grid technologies (ISGT), Gaithersburg, MD, USA, 19–21 January 2010, pp.1–7. New Jersey: IEEE Computer Society.
3.
WuDZhouC. Fault-tolerant and scalable key management for smart grid. IEEE Trans Smart Grid2011; 2: 375–381.
4.
AmariSDillG. A new method for reliability analysis of standby systems. In: Reliability and maintainability symposium, 2009 RAMS 2009 Annual, Fort Worth, TX, USA, 26–29 January 2009, pp.417–422. New Jersey: IEEE.
5.
TannousOXingLPengR. Redundancy allocation for series-parallel warm-standby systems. In: 2011 IEEE international conference on industrial engineering and engineering management (IEEM), Singapore, 6–9 December 2011, pp.1261–1265. New Jersey: IEEE Computer Society.
6.
YunWYChaJH. Optimal design of a general warm standby system. Reliab Eng Syst Safe2010; 95: 880–886.
7.
DobsonICarrerasBALynchVE. Complex systems analysis of series of blackouts: Cascading failure, critical points, and self-organization. Chaos2007; 17: 026103–13.
8.
PepyneDL. Topology and cascading line outages in power grids. J Syst Sci Syst Eng2007; 16: 202–221.
9.
BouriciusWCarterWCSchneiderP. Reliability modeling techniques for self-repairing computer systems. In: Proceedings of the 1969 24th national conference, 26–28 August 1969. pp.295–309. New York: ACM.
10.
ArnoldTF. The concept of coverage and its effect on the reliability model of a repairable system. IEEE Trans Comput1973; 100: 251–254.
11.
XingL. Reliability evaluation of phased-mission systems with imperfect fault coverage and common-cause failures. IEEE Trans Reliab2007; 56: 58–68.
12.
AmariSVPhamHDillG. Optimal design of k-out-of-n: G subsystems subjected to imperfect fault-coverage. IEEE Trans Reliab2004; 53: 567–575.
13.
LevitinG. Optimal structure of multi-state systems with uncovered failures. IEEE Trans Reliab2008; 57: 140–148.
14.
MyersA. Achievable limits on the reliability of k-out-of-n:G systems subject to imperfect fault coverage. IEEE Trans Reliab2008; 57: 349–354.
15.
MyersAF. k-out-of-n: G system reliability with imperfect fault coverage. IEEE Trans Reliab2007; 56: 464–473.
16.
KeJCHuangHILinCH. A redundant repairable system with imperfect coverage and fuzzy parameters. Appl Math Model2008; 32: 2839–2850.
17.
KeJCLeeSLHsuYL. On a repairable system with detection, imperfect coverage and reboot: Bayesian approach. Simul Modell Pract Theory2008; 16: 353–367.
18.
KeJCSuZLWangKH. Simulation inferences for an availability system with general repair distribution and imperfect fault coverage. Simul Modell Pract Theory2010; 18: 338–347.
19.
KeJCLeeSLHsuYL. Bayesian analysis for a redundant repairable system with imperfect coverage. Commun Stat-simul C2008; 37: 993–1004.
20.
HsuYLLeeSLKeJC. A repairable system with imperfect coverage and reboot: Bayesian and asymptotic estimation. Math Comput Simulat2009; 79: 2227–2239.
21.
LiXYanRZuoMJ. Evaluating a warm standby system with components having proportional hazard rates. Oper Res Lett2009; 37: 56–60.
22.
LevitinGAmariSV. Multi-state systems with multi-fault coverage. Reliab Eng Syst Safe2008; 93: 1730–1739.
23.
MyersAFRauzyA. Assessment of redundant systems with imperfect coverage by means of binary decision diagrams. Reliab Eng Syst Safe2008; 93: 1025–1035.
24.
MyersARauzyA. Efficient reliability assessment of redundant systems subject to imperfect fault coverage using binary decision diagrams. IEEE Trans Reliab2008; 57: 336–348.
25.
PengRTannousOXingL. Reliability of smart grid systems with warm standby spares and imperfect coverage. In: SMARTGREENS, Porto, Portugal, 19–20 April 2012, pp.61–6. SciTePress. New York: Curran Associates
26.
BryantRE. Graph-based algorithms for boolean function manipulation. IEEE Trans Comput1986; 100: 677–691.
27.
Ibanez-LlanoCMeléndezENietoF. Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessment. Proc IMechE Part O: J Risk and Reliability2008; 222: 7–16.
28.
RauzyAGauthierJLeducX. Assessment of large automatically generated fault trees by means of binary decision diagrams. Proc IMechE Part O: J Risk and Reliability2007; 221: 95–105.
29.
AmariSVDuganJBMisraRB. A separable method for incorporating imperfect fault-coverage into combinatorial models. IEEE Trans Reliab1999; 48: 267–274.
30.
ChangYRAmariSVKuoSY. OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage. IEEE Trans Dependable Secure Comput2005; 2: 336–347.
31.
LiawHTLinCS. On the OBDD-representation of general Boolean functions. IEEE Trans Comput1992; 41: 661–664.
32.
TannousOXingLDuganJ. Reliability analysis of warm standby systems using sequential BDD. In: Reliability and maintainability symposium (RAMS), 2011 Proceedings-Annual, Lake Buena Vista, FL, USA, 24–27 January 2011, pp.1–7, New Jersey: IEEE.
