Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Numerical transient analysis of Markov models
Computers and Operations Research
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Symbolic prime generation for multiple-valued functions
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Reliability Evaluation of Multi-state Systems Subject to Imperfect Coverage using OBDD
PRDC '02 Proceedings of the 2002 Pacific Rim International Symposium on Dependable Computing
Computing System Failure Frequencies and Reliability Importance Measures Using OBDD
IEEE Transactions on Computers
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components
IEEE Transactions on Computers
Network reliability importance measures: combinatorics and Monte Carlo based computations
WSEAS Transactions on Computers
| Hi-index | 0.00 |
Algorithms for evaluating the reliability of a complex system such as a multistate fault-tolerant computer system have become more important recently. They are designed to obtain the complete results quickly and accurately even when there exist a number of dependencies such as shared loads (reconfiguration), degradation, and common-cause failures. This paper presents an efficient method based on Ordered Binary Decision Diagram (OBDD) for evaluating the multistate system reliability and the Griffith's importance measures which can be regarded as the importance of a system-component state of a multistate system subject to imperfect fault-coverage with various performance requirements. This method combined with the conditional probability methods can handle the dependencies among the combinatorial performance requirements of system modules and find solutions for multistate imperfect coverage model. The main advantage of the method is that its time complexity is equivalent to that of the methods for perfect coverage model and it is very helpful for the optimal design of a multistate fault-tolerant system.