Computing system failure frequencies and reliability importance measures using OBDD

@article{Chang2004ComputingSF,
  title={Computing system failure frequencies and reliability importance measures using OBDD},
  author={Yung-Ruei Chang and S. Amari and S. Kuo},
  journal={IEEE Transactions on Computers},
  year={2004},
  volume={53},
  pages={54-68}
}
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. [...] Key Method Methods are presented to calculate both steady-state and time-specific frequencies of system-failure as well as system-success.Expand
69 Citations
OBDD-based evaluation of reliability and importance measures for multistate systems subject to imperfect fault coverage
  • 63
  • PDF
Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge
  • 5
Reliability analysis of large fault trees using the Vesely failure rate
  • S. Amari, J. Akers
  • Computer Science
  • Annual Symposium Reliability and Maintainability, 2004 - RAMS
  • 2004
  • 13
Reliability Importance Analysis of Generalized Phased-Mission Systems
  • 20
  • PDF
O(kn) Algorithms for Analyzing Repairable and Non-repairable k-out-of-n:G Systems
  • 28
Reliability evaluation of dependable distributed computing systems based on recursive merge and BDD
  • 2
Reliability Evaluation of Phased-Mission Systems With Imperfect Fault Coverage and Common-Cause Failures
  • L. Xing
  • Engineering, Computer Science
  • IEEE Transactions on Reliability
  • 2007
  • 131
  • PDF
Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence
  • 35
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 37 REFERENCES
Fault tree analysis and binary decision diagrams
  • 80
  • Highly Influential
  • PDF
Sensitivity analysis of modular dynamic fault trees
  • Y. Ou, J. Dugan
  • Computer Science
  • Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000
  • 2000
  • 34
Determining terminal-pair reliability based on edge expansion diagrams using OBDD
  • 144
Uncertainty analysis in reliability modeling
  • L. Yin, Marcel Smith, Kishor S. Trivedi
  • Computer Science
  • Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179)
  • 2001
  • 56
Generic rules to evaluate system-failure frequency
  • S. Amari
  • Engineering, Computer Science
  • IEEE Trans. Reliab.
  • 2000
  • 23
Improved efficiency in qualitative fault tree analysis
  • 91
  • PDF
Optimal reliability of systems subject to imperfect fault-coverage
  • 84
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
  • 278
  • PDF
Reliability of k-out-of-n:G systems with imperfect fault-coverage
  • 36
...
1
2
3
4
...