Modeling with extended fault trees

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 238-246

  Buchacker, K ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

Cooling; Fault trees; Filters; Reliability engineering; Safety; Solids; Stochastic processes; Stochastic systems; US Department of Transportation; Valves

Indexed keywords

ACCIDENT PREVENTION; COOLING; COOLING SYSTEMS; FILTERS (FOR FLUIDS); PETRI NETS; RANDOM ACCESS STORAGE; RANDOM PROCESSES; RELIABILITY ANALYSIS; SAFETY ENGINEERING; SAFETY VALVES; SOLIDS; STOCHASTIC MODELS; SYSTEMS ENGINEERING; VALVES (MECHANICAL);

COMPLEX TECHNICAL SYSTEMS; EVALUATION AND ANALYSIS; FAULT TREE MODEL; FAULT-TREES; HIGH-LEVEL MODELING; RELIABILITY ENGINEERING; STOCHASTIC PETRI NETS; US DEPARTMENT OF TRANSPORTATION;

STOCHASTIC SYSTEMS;

EID: 53349145230     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895468     Document Type: Conference Paper

References (37)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Chichester, 1995.
2. S. Allmaier and S. Dalibor. PANDA - petri net analysis and design assistant. In Tools Descriptions, 9th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, pages 58-60, 1997.
3. A. Bobbio, G. Franceschinis, R. Gaeta, and L. Portinale. Exploiting petri nets to support fault tree based dependability analysis. In International Workshop on Petri Nets and Performance Models, 1999.
4. K. Buchacker. Combining fault trees and petri-nets to model safety-critical systems. In A. Tentner, editor, High Performance Computing 1999, pages 439-444. The Society for Computer Simulation International, 1999.
5. K. Buchacker. Definition und Auswertung erweiterter Fehlerbäume für die Zuverlässigkeitsanalyse technischer Systeme. Technical Report 33/3, Friedrich-Alexander-Universität Erlangen-Nürnberg, Institut für Informatik, July 2000.
6. L. Caldarola. Grundlagen der Booleschen Algebra mit beschränkten Variablen. Technical Report KfK 2915 / EUR 6405d, Kernforschungszentrum Karlsruhe, Institut für Reaktorentwicklung, Projekt Nukleare Sicherheit, 1979.
7. P. Chatterjee. Modularization of fault trees: A method to reduce the cost of analysis. In Reliability and Fault Tree Analysis, pages 101-126. SIAM, Philadelphia, 1975.
8. O. Coudert and J. C. Madre. Metaprime: An interactive fault-tree analyzer. IEEE Transactions on Reliability, 43(1):121-127, Mar. 1994.
9. J. B. Dugan. Fault trees and imperfect coverage. IEEE Transactions on Reliability, 38(2): 177-185, June 1989.
10. J. B. Dugan, S. J. Bavuso, and M. Boyd. Fault trees and sequence dependencies. In Annual Reliability and Maintainability Symposium, pages 286-293, 1990.
11. J. B. Dugan, S. J. Bavuso, and M. A. Boyd. Dynamic fault-tree models for fault-tolerant computer systems. IEEE Transactions on Reliability, 41(3):363-377, Sept. 1992.
12. J. B. Dugan and M. R. Lyu. Dependability modeling for fault-tolerant software and systems. In M. Lyu, editor, Software Fault Tolerance, pages 109-138. John Wiley & Sons, Chichester, 1995.
13. J. B. Dugan, R. Manian, K. J. Sullivan, and D. Coppit. Combining various solution techniques for dynamic fault tree analysis of computer systems. In Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pages 21-28, Nov. 1998.
14. Y. Dutuit and A. Rauzy. A linear-time algorithm to find modules of fault trees. IEEE Transactions on Reliability, 45(3):422-425, Sept. 1996.
15. K. Gopal, K. K. Aggarwal, and J. S. Gupta. Reliability analysis of multistate device networks. IEEE Transactions on Reliability, R-27(3):233-236, Aug. 1978.
16. B. Grams. Entwurf und Implementierung von anwendungsbasierten Methoden zur Dependability-Analyse basierend auf stochastischen Petri-Netzen. Master's thesis, Institut für Mathematische Maschinen und Datenverarbeitung der Friedrich-Alexander-Universität Erlangen-Nürnberg, Lehrstuhl für Informatik III (Rechnerstrukturen), Apr. 1995.
17. R. Gulati and J. B. Dugan. A modular approach for analyzing static and dynamic fault trees. In Annual Reliability and Maintainability Symposium, pages 57-63, 1997.
18. B. R. Haverkort. Approximate performability and dependability analysis using generalized stochastic Petri nets. Performance Evaluation, (18):61-78, 1993.
19. B. R. Haverkort. In search of probability mass: Probabilistic evaluation of high-level specified markov models. The Computer Journal, 38(7):521-529, 1995.
20. Y. Kai. Multistate fault-tree analysis. Journal of Reliability Engineering and System Safety, 28(1):1-7, 1990.
21. T. Kohda, E. J. Henley, and K. Inoue. Finding modules in fault trees. IEEE Transactions on Reliability, 38(2):165-176, June 1989.
22. W. S. Lee, D. L. Grosh, F. A. Tillman, and C. H. Lie. Fault tree analysis, methods, and applications - a review. IEEE Transactions on Reliability, R-34(3):194-203, Aug. 1985.
23. M. Malhotra and K. S. Trivedi. Dependability modeling using Petri nets. IEEE Transactions on Reliability, 44:428-440, 1995.
24. R. Manian, D. W. Coppit, K. J. Sullivan, and J. B. Dugan. Bridging the gap between systems and dynamic fault tree models. In Annual Reliability and Maintainability Symposium, 1999.
25. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, Apr. 1989.
26. L. B. Page and J. E. Perry. Reliability of networks and three state devices. Microelectronics and Reliability, 27(1):175-178, 1987.
27. N. H. Roberts, W. E. Vesely, D. F. Haasl, and F. F. Goldberg. Fault tree handbook. Technical Report NUREG-0492, 1981.
28. N. Satoh, M. Sasaki, T. Yuge, and S. Yanagi. Reliability of 3-state device systems with simultaneous failures. IEEE Transactions on Reliability, 42(3):470-477, Sept. 1993.
29. B. Singh and C. L. Proctor. Reliability analysis of multistate device networks. In Annual Reliability and Maintainability Symposium, pages 31-35, 1976.
30. B. Specker. Evaluation of fault-tolerant systems using stochastic petri nets and fault trees. In European Simulation Symposium, pages 83-87, 1992.
31. K. Stecher. Program ZUSIM - reliability assessment of complex technical systems. in Fehlertolerante Rechensysteme: Innovative Architekturen, Modellierung und Bewertung, Interner Bericht IMMD3, 1993.
32. A. T. Tai, H. Hecht, K. S. Trivedi, and B. Zhang. Toward accessibility enhancement of dependability modeling techniques and tools. In Proceedings of the 27th Annual International Symposium on Fault Tolerant Computing, Seattle, WA, pages 37-41, June 1997.
33. A. P. A. van Moorsel and B. R. Haverkort. Probabilistic evaluation for the analytical solution of large markov models: Algorithms and tool support. Microelectronics and Reliability, 36(6):733-755, 1996.
34. A. P. Wood. Multistate block diagrams and fault trees. IEEE Transactions on Reliability, R-34(3):236-240, Aug. 1985.
35. L.-M. Xing, K. N. Fleming, and W.-T. Loh. Comparison of markov model and fault tree approach in determining initiating event frequency for systems with two train configurations. Journal of Reliability Engineering and System Safety, 53(1):17-29, 1996.
36. Xue Janan. On multistate system analysis. IEEE Transactions on Reliability, R-34(4):329-337, Oct. 1985.
37. S. K. Yang and T. S. Liu. Failure analysis for an airbag inflator by Petri nets. Quality and Reliability Engineering International, 13:139-151, 1997.