Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Sensitivity Analysis of Modular Dynamic Fault Trees
IPDS '00 Proceedings of the 4th International Computer Performance and Dependability Symposium
IEEE Transactions on Dependable and Secure Computing
Performance evaluation for self-healing distributed services and fault detection mechanisms
Journal of Computer and System Sciences - Special issue: Performance modelling and evaluation of computer systems
Dependability metrics
Importance analysis by logical differential calculus
Automation and Remote Control
Hi-index | 14.98 |
Abstract--The recent literature showed that, in many cases, Ordered Binary Decision Diagram (OBDD)-based algorithms are more efficient in reliability evaluation compared to other methods such as the Inclusion-Exclusion (I-E) method and the sum of disjoint products (SDP) method. This paper presents algorithms based on OBDD to compute system failure frequencies and reliability importance measures. Methods are presented to calculate both steady-state and time-specific frequencies of system-failure as well as system-success. The reliability importance measures discussed in this paper include the Birnbaum importance, the Criticality importance, and other indices for the risk evaluation of a system. In addition, we propose an efficient approach based on OBDD to evaluate the reliability of a nonrepairable system and the availability of a repairable system with imperfect fault-coverage mechanisms. The powerful capability of OBDD for reliability evaluation is fully exploited in this paper. Further, we extend all of the proposed algorithms in this paper to analyze systems with imperfect fault-coverage.