%A RUI PENG, QINGQING ZHAI, LIUDONG XING, and JUN YANG %T Reliability of 1-out-of-(n+1) Warm Standby Systems Subject to Fault Level Coverage %0 Journal Article %D 2013 %J Int J Performability Eng %R 10.23940/ijpe.13.1.p117.mag %P 117-120 %V 9 %N 1 %U {https://www.ijpe-online.com/CN/abstract/article_2939.shtml} %8 2013-01-01 %X
Warm standby SParing (WSP) is a commonly-used fault tolerance technique that compromises the system energy consumption and recovery time. Imperfect fault coverage is an important factor that can restrict the reliability of a fault-tolerant system. In this paper, a generalized binary decision diagram (BDD)-based approach is presented to evaluate the reliability of a 1-out-of-(n+1) warm standby system subject to fault level coverage. Examples are presented to illustrate the application of the proposed method.