## Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains

- Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga
- 37th Annual IEEE/IFIP International Conference on…
- 2007

Highly Influential

@inproceedings{Bie2018PTAAA, title={PTA as an approach to fault tree analysis}, author={Johan De Bie}, year={2018} }

- Published 2018

This paper explores probabilistic timed automata (PTA) as an approach to fault tree analysis (FTA) by modelling two synthetic dynamic fault trees (DFTs) using both PTA and continuous timed Markov Chains (CTMC). Using UPPAAL, a simulation software, these models have been created and analysed with statistical model checking, in order to compare their… CONTINUE READING