Binary decision diagram-based reliability evaluation of k-out-of-(n + k) warm standby systems subject to fault-level coverage
Binary decision diagram-based reliability evaluation of k-out-of-(n + k) warm standby systems subject to fault-level coverage
复制标题
DOI：
10.1177/1748006x13485562
复制
发表时间：
2013-05
期刊：
影响因子：
--
通讯作者：
Qingqing Zhai;R. Peng;L. Xing;Jun Yang
中科院分区：
文献类型：
--
作者：
Qingqing Zhai;R. Peng;L. Xing;Jun Yang
热备用是一种容错技术，试图提高系统的可靠性，同时牺牲系统的能量消耗和恢复时间。然而，当考虑不完美的故障覆盖效应（未覆盖的组件故障可以传播并导致整个系统失效）时，热备用备用的可靠性可以随着冗余水平的增加而降低。本文研究了不完全故障覆盖下的热备用系统的可靠性问题，特别是考虑了故障覆盖率与系统中失效元件数目有关的故障级覆盖问题。建议的方法是组合的，并基于广义二元决策图技术。分析了二元决策图构造的复杂性，并给出了几个实例说明该方法的应用。
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.