Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 5 / Issue 10

available in:   PDF (241 kB) PS (186 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-005-10-0633


Advanced Fault Tree Modeling

Winfrid G. Schneeweiss (Computer Engg., Fern University, Germany)

Abstract: Fault trees show which joint components' faults mean system faults. Fault trees can often be used to determine dependability parameters of systems. Here it is shown that i) binary decision diagrams (BDDs) can also be used to calculate system mean failure frequency, ii) modeling dynamics of fault trees does not always mean Markov modeling, iii) a deeper understanding of interrelations between s-dependent components is supported, rather, by Petri nets than by state transition graphs.

Keywords: Binary decision diagram, Fault tree, Markov approach, Petri net, Shannon tree

Categories: F.2.2, G.3