Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
Symbolic Boolean manipulation with ordered binary-decision diagrams
ACM Computing Surveys (CSUR)
Dependability analysis of fault-tolerant systems: a new look at combinatorial modeling
Dependability analysis of fault-tolerant systems: a new look at combinatorial modeling
Experience assessing an architectural approach to large-scale systematic reuse
Proceedings of the 18th international conference on Software engineering
Galileo: A Tool for Dynamic Fault Tree Analysis
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Analysis of a multistage interconnection network using binary decision diagrams (BDD)
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Developing a High-Quality Software Tool for Fault Tree Analysis
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components
IEEE Transactions on Computers
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
A new component concept for fault trees
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
An ROBDD-based combinatorial method for the evaluation of yield of defect-tolerant systems-on-chip
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
| Hi-index | 0.03 |
This paper presents the DREDD (Dependability and Risk Evaluation using Decision Diagrams) algorithm which incorporates coverage modeling into a BDD solution of a combinatorial model. BDDs, which do not use cutsets to generate system unreliability, can be used to find exact solutions for extremely large systems. The DREDD algorithm takes advantage of the efficiency of the BDD solution approach and increases the accuracy of a combinatorial model by including consideration of imperfect coverage. The usefulness of combinatorial models, long appreciated for their logical structure and concise representational form, is extended to include many fault tolerant systems previously thought to require more complicated analysis techniques in order to include coverage modeling. In this paper, the DREDD approach is presented and applied to the analysis of two sample systems, the F18 flight control system and a fault tolerant multistage interconnection network.