Increased efficiency in the quantitative evaluation of state/event fault trees

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 12, Issue PART 1, 2006, Pages

  Förster, Marc ^a   Kaiser, Bernhard ^a  

^a FRAUNHOFER IESE   (Germany)

Author keywords

Fault tree analysis; Reliability analysis; State space models; Stochastic modelling; Stochastic Petri nets

Indexed keywords

BINARY DECISION DIAGRAMS; FAULT TREE ANALYSIS; PETRI NETS; RANDOM ACCESS STORAGE; RELIABILITY ANALYSIS; SEMANTICS; STATE SPACE METHODS; STOCHASTIC CONTROL SYSTEMS; STOCHASTIC SYSTEMS;

DEPENDABILITY ANALYSIS; DETERMINISTIC AND STOCHASTIC PETRI NETS; EXPRESSIVE POWER; PARTIAL RESULTS; QUANTITATIVE EVALUATION; STATE - SPACE MODELS; STATE-BASED MODELLING; STOCHASTIC PETRI NETS;

STOCHASTIC MODELS;

EID: 79961189570     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20060517-3-fr-2903.00143     Document Type: Conference Paper

References (16)

1. Anand, A., and A.K. Somani (1998). Hierarchical Analysis of Fault Trees with Dependencies, using Decomposition. In: IEEE Proceedings Annual Reliability and Maintainability Symposium, pp. 69-75.
2. Bryant, R. (1986). Graph-Based Algorithms for Boolean Function Manipulation. In: IEEE Transactions on Computers, C-35-8, pp. 677-691.
3. Buchacker, K. (1999). Analyzing Safety-Critical Systems Using Extended Fault Trees. In: ARCS Workshops 1999 Proceedings, pp. 117-125.
4. Caldarola, L., and A. Wickenhäuser (1981). The Boolean Algebra with Restricted Variables as a Tool for Fault Tree Modularization. Technical report KfK 3190, Kernforschungszentrum Karlsruhe.
5. Dugan, J.B., S. Bavuso and M. Boyd (1992). Dynamic Fault Tree Models for Fault-Tolerant Computer Systems. In: IEEE Transactions on Reliability, 41(3), pp. 363-377.
6. Dutuit, Y., and A. Rauzy (1996). A Linear-Time Algorithm to Find Modules of Fault Trees. In: IEEE Transactions on Reliability, 45(3), pp. 422-425.
7. Harel, D. (1987). Statecharts: A Visual Formalism for Complex Systems. In: The Science of Computer Programming, vol. 8, pp. 231-274.
8. Kaiser, B. (2005). State/Event Fault Trees - A Safety and Reliability Analysis Technique for Software- Controlled Systems. PhD thesis, TU Kaiserslautern.
9. th Australian Workshop on Safety-Critical Systems and Software (SCS'03), Canberra Conferences in Research and Practice in Information Technology , vol. 33 (P. Lindsay and T. Cant (Eds.)).
10. Kaiser, B., and A. Zocher (2005). BDD Complexity Reduction by Component Fault Trees. ESREL European Safety and Reliability Conference 2005, Gdynia.
11. Manian, R., J.B. Dugan, D. Coppit and K.J. Sullivan (1998). Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. In: Proceedings Third IEEE International High-Assurance Systems Engineering Symposium, pp. 21-28.
12. Marsan, M.A., and G. Chiola (1987). On Petri Nets with Deterministic and Exponentially Distributed Firing Times. In:Advances in Petri Nets 1987, Lecture Notes in Computer Science 266 (G. Rozenberg (Ed.)), pp. 132-145. Springer, Berlin.
13. Vesely, W.E., F.F. Goldberg, N.H. Roberts, D.F. Haasl (1981). Fault Tree Handbook. NUREG- 0492. Systems and Reliability Research, U.S. Nuclear Regulatory Commission, Washington D.C.
14. Zang, X., H. Sun and K.S. Trivedi (1998). A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components. Technical report.
15. Zimmermann, A., J. Freiheit, R. German and G. Hommel (2000). Petri Net Modelling and Performability Evaluation with TimeNET 3.0. In: TOOLS'00: Proceedings of the 11th International Conference on Computer Performance, pp. 188-202.
16. Zocher, A. (2005). Quantitative Auswertung von Multizustand- Komponentenfehlerbäumen durch mehrwertige Entscheidungsdiagramme. MSc thesis, Universität Potsdam.