PTA as an approach to fault tree analysis

@inproceedings{Bie2018PTAAA,
  title={PTA as an approach to fault tree analysis},
  author={Johan De Bie},
  year={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