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