University of Twente Student Theses
PTA as an approach to fault tree analysis
Bie, J.A. de (2018) PTA as an approach to fault tree analysis.
|
PDF
728kB |
| Abstract: | 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 availability, reliability and the time needed for verifying these systems. The availability is the percentage of time the system is operational within a given time period. The reliability is the probability that the system does not fail within a given time period. The results show that the PTA models yield the same availability as the CTMC models. However, the PTA models yield a lower reliability than CTMC. Furthermore, the PTA models require more time for the verification of the DFTs in this paper. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/74652 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page