A Combinatorial Approach to Modeling Imperfect Coverage

IEEE Transactions on Reliability

Volumn 44, Issue 1, 1995, Pages 87-94

  Doyle, Stacy A ^a   Dugan, Joanne Bechta ^b   Patterson Hine, F Ann ^c  

^a DUKE UNIVERSITY   (United States)

^b UNIVERSITY OF VIRGINIA   (United States)

^c NASA AMES RESEARCH CENTER   (United States)

Author keywords

Digraph model; Fault tolerant systems; Fault tree; Imperfect coverage

Indexed keywords

ALGORITHMS; COMBINATORIAL MATHEMATICS; GRAPH THEORY; MARKOV PROCESSES; MATHEMATICAL MODELS; RELIABILITY; SYSTEMS ANALYSIS;

COMPUTER SYSTEM UNRELIABILITY; COVERAGE MODEL; CUTSETS; DIAGRAPH MODEL; IMPERFECT COVERAGE;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 0029271840     PISSN: 00189529     EISSN: 15581721     Source Type: Journal    
DOI: 10.1109/24.376525     Document Type: Article

References (22)

1. P.S. Babcock, “An introduction to reliability modeling of fault-tolerant systems”, Technical Report CSDL-R-1899, 1986 Sep; C. S. Draper Laboratory, Inc.
2. S.J. Bavuso, J.B. Dugan, “Hirel: Reliability/availability integrated workstation tool”, Proc. Reliability & Maintainability Symp, 1992, pp 491–500.
3. M.A. Boyd, “Converting fault trees to Markov chains for reliability prediction”, Master's Thesis, 1986; Duke University.
4. C. Clark, S. Jowers, R. McNenny, et al, “Fault management for the space station freedom control center”, 30th Aerospace Sciences Meeting & Exhibit, AIAA Paper 92-0870, 1992 Jan; NASA Johnson Space Center.
5. O. Coudert J-C. Madre, “Towards an interactive fault tree analyser”, Proc. IASTED Int'l Conf. Reliability, Quality Control, Risk Assessment, 1992 Nov.
6. S.A. Doyle, J.B. Dugan, “Fault trees and imperfect coverage: A combinatorial approach”, Proc. Reliability & Maintainability Symp, 1993, pp 214–219.
7. S.A. Doyle, J.B. Dugan, A. Patterson-Hine, “A quantitative analysis of the F18 flight control system”, Proc. AIAA Computing in Aerospace 9, 1993 Oct, pp 668–675.
8. J.B. Dugan, “Fault trees and imperfect coverage”, IEEE Trans. Reliability, vol 38, 1989 Jun, pp 177–185.
9. J.B. Dugan, K.S. Trivedi, “Coverage modeling for dependability analysis of fault-tolerant systems”, IEEE Trans. Computers, vol 38, 1989 Jun, pp 775–787.
10. J.B. Dugan, M. Veeraraghavan, M. Boyd, N. Mittal, “Bounded approximate reliability models for fault tolerant distributed systems”, Proc. 8th Symp. Reliable Distributed Systems, 1989, pp 137–147.
11. E. Feldman, P.S. Babcock, “Reliability evaluation of AIPS I/O networks”, Technical Report AIPS-87-15, 1987 Jun; C. S. Draper Laboratory, Inc.
12. K.D. Heidtmann, “Deterministic reliability-modeling of dynamic redundancy”, IEEE Trans. Reliability, vol 41, 1992 Sep, pp 378–385
13. E.J. Henley, H. Kumamoto, Probabilistic Risk Assessment, 1982; IEEE Press.
14. S. Kirby, J. Lauritsen, G. Pack, et al, “Real-time failure analysis for on-orbit operations”, Proc. SPIE, vol 1963, 1993 Apr, pp 113–123.
15. S. Rai, “A direct approach to obtain tighter bounds for large fault trees with repeated events”, Proc. Reliability & Maintainability Symp, 1994, pp 475–480.
16. R. Sahner, K.S. Trivedi, “Reliability modeling using SHARPE”, IEEE Trans. Reliability, vol R-36, 1987 Jun, pp 186–193.
17. W. Schneeweiss, “Approximate fault-tree analysis with prescribed accuracy”, IEEE Trans. Reliability, vol R-36, 1987 Jun, pp 250–254.
18. R.E. Tarjan, “A unified approach to path problems”, J. ACM, vol 28, 1981, pp 577–593.
19. K.S. Trivedi, R. Geist, “Decomposition in reliability analysis of fault-tolerant systems”, IEEE Trans. Reliability, vol R-32, 1983 Dec, pp 463–468.
20. M. Veeraraghavan, K.S. Trivedi, “An improved algorithm for symbolic reliability analysis”, IEEE Trans. Reliability, vol 40, 1991 Aug, pp 347–358.
21. M. Veeraraghavan, K.S. Trivedi, “A combinatorial algorithm for performance and reliability analysis using multistate models”, IEEE Trans. Computers, vol 43, 1994 Feb, pp 229–234.
22. S. Wolfram, Mathematica, A System for Doing Mathematics by Computer (2nd ed), 1991; Addison-Wesley.