Output details
11 - Computer Science and Informatics
University of Hull
Quantification of priority-OR gates in temporal fault trees
<07> This paper applies a number of modelling and mathematical approaches to quantifying – i.e. probabilistically analyzing – fault trees, in particular those modelling systems with a temporal feature. The research builds on prior work at Hull on temporal fault tree analysis (e.g. the Pandora model) to prove the validity of some analytical techniques that probabilistically analyse the Priority-OR (POR) temporal gate. This work provides new results on quantification; the paper summarises the use of Monte Carlo simulation, Markov analysis and Pandora’s own logical analysis, providing an evaluation of the techniques and applying them to a case study.