University of Twente Student Theses

Login

PTA as an approach to fault tree analysis

Bie, J.A. de (2018) PTA as an approach to fault tree analysis.

[img] 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:http://purl.utwente.nl/essays/74652
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page