Combining various solution techniques for dynamic fault tree analysis of computer systems

Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Volumn 1998-November, Issue , 1998, Pages 21-28

  Manian, R ^a   Bechta Dugan, J ^a   Coppit, D ^a   Sullivan, K J ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY DECISION DIAGRAMS; BINARY TREES; BOOLEAN FUNCTIONS; FAULT TOLERANT COMPUTER SYSTEMS; HAZARDS; SYSTEMS ENGINEERING; WEIBULL DISTRIBUTION;

ANALYSIS CAPABILITIES; ANALYTICAL APPROACH; COMPONENT RELIABILITY; DIFFERENT DISTRIBUTIONS; DIVIDE-AND-CONQUER TECHNIQUE; DYNAMIC FAULT TREE ANALYSIS; DYNAMIC FAULT TREES; SOLUTION TECHNIQUES;

FAULT TREE ANALYSIS;

EID: 84992414199     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1998.731591     Document Type: Conference Paper

References (19)

1. Joanne Bechta Dugan, Bharath Venkataraman and Rohit Gulati. "DIFtree: A software package for the analysis of dynamic fault tree models." Annual Reliability and Maintainability Symposium, 97RM-047 pages 1-7, 1997.
2. Joanne Bechta Dugan and K. S. Trivedi. "Coverage modeling for dependability analysis of fault-Tolerant systems." IEEE Transactions on Computers, 38(6):775-787, 1989
3. A. Rosenthal. "A Computer Scientist looks at Reliability Computations, " in Reliability and Fault Tree Analysis: Theoretical and Applied Aspects of System Reliability and Safety Assessment. J.B. Fussel and N.D. Singpurwalla, eds. Philadelphia:SIAM, 1975.
4. Yves Dutuit and Antoine Rauzy. "A linear-Time algorithm to find modules in fault trees." IEEE Transactions on Reliability, September 1996.
5. Anju Anand and Arun K. Somani. "Hierarchical analysis of fault trees with dependencies, using decomposition." Proceedings of the Annual Reliability and Maintainability Symposium, pages 69-75, 1998
6. Rohit Gulati, Joanne Bechta Dugan. "A modular approach for analyzing static and dynamic fault trees." Proceedings of the Annual Reliability and Maintainability Symposium, 97RM-045: pages 1-7, 1997
7. Olivier Coudert and Jean Christophe Madre. "METAPRIME, an Interactive Fault-Tree Analyser". IEEE Transactions on Reliability, March 1994.
8. Stacy A. Doyle and Joanne Bechta Dugan. "Dependability assessment using Binary Decision Diagrams." Proceedings of the International Symposium on Fault Tolerant Computing, pages 249-258, June 1995
9. Rohit Gulati. "A modular approach to static and dynamic fault tree analysis." Master's thesis, University of Virginia Department of Electrical Engineering, 1996
10. Kevin J. Sullivan. "Galileo: An advanced fault tree analysis tool." URL: http://www.cs.virginia.edu/~ftree
11. Kevin J. Sullivan. "Better, cheaper, faster tools." Proceedings of the Annual Reliability and Maintainability Symposium, 1997.
12. Randal E. Bryant. "Graph-Based Algorithms for Boolean function manipulation." IEEE Transactions on Computers, August 1986
13. Joanne Bechta Dugan, Salvatore Bavuso and Mark Boyd. "Dynamic fault tree models for fault tolerant computer systems." IEEE Transactions on Reliability, September 1992
14. Cohen, S.D., and A.C. Hindmarsh. "CVODE, a Stiff/Nonstiff ODE Solver in C." Computers in Physics, March/April 1996.
15. Mark A. Boyd and Salvatore J. Bavuso. "Simulation modeling for long duration spacecraft control systems." Proceedings of the Annual Reliability and Maintainability Symposium, pages 106-113, 1993
16. Michael R. Lyu, editor." Handbook of Software Reliability Engineering." IEEE Computer Society Press, 1996.
17. Lawrence M. Leemis. "Reliability: Probabilistic models and statistical methods." Prentice-Hall, 1995.
18. J. R. Norris, "Markov Chains." Cambridge University Press 1997.
19. Kishor S. Trivedi. "Probability and statistics with reliability, queing, and computer science applications." Prentice-Hall, 1982