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

• Record Type: Journal Article
• Authors: Zhai, Qingqing; Peng, Rui; Xing, Liudong; Yang, Jun
• Is Part Of: Proceedings of the Institution of Mechanical Engineers. Volume 227:Number 5(2013)
• Page Start: 540
• Page End: 548
• Publication Date: 2013-10
• Subjects: Binary decision diagram -- fault tolerance -- imperfect fault coverage -- fault level coverage -- warm standby; Reliability (Engineering) -- Mathematical models -- Periodiclals; Risk assessment -- Mathematical models -- Periodicals; Engineering design -- Mathematical models -- Periodicals; 620.00452
• DOI: 10.1177/1748006X13485562
• Languages: English
• ISSNs: 1748-006X

Abstract

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.