Ernest Edifor
Quantification of Simultaneous-AND Gates in Temporal Fault Trees
Edifor, Ernest; Walker, Martin; Gordon, Neil
Abstract
Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA approaches provide much support for modelling situations where events have to be "nearly simultaneous", i.e., where events must occur within a certain interval to cause a failure. Although one such extension, Pandora, is unique in providing a "Simultaneous-AND" gate, it does not allow such intervals to be represented. In this work, we extend the Simultaneous-AND gate to include a parameterized interval - referred to as pSAND - such that the output event occurs if the input events occur within a defined period of time. This work then derives an expression for the exact quantification of pSAND for exponentially distributed events and provides an approximation using Monte Carlo simulation which can be used for other distributions.
Citation
Edifor, E., Walker, M., & Gordon, N. Quantification of Simultaneous-AND Gates in Temporal Fault Trees
Presentation Conference Type | Conference Paper (published) |
---|---|
Acceptance Date | Feb 1, 2013 |
Publication Date | 2013 |
Deposit Date | Nov 13, 2014 |
Publicly Available Date | Nov 13, 2014 |
Journal | Advances in Intelligent Systems and Computing |
Print ISSN | 2194-5357 |
Electronic ISSN | 2194-5357 |
Publisher | Springer Verlag |
Peer Reviewed | Peer Reviewed |
Volume | 224 |
Pages | 141-151 |
Book Title | New Results in Dependability and Computer Systems; Advances in Intelligent Systems and Computing |
ISBN | 9783319009445; 9783319009452 |
DOI | https://doi.org/10.1007/978-3-319-00945-2_13 |
Keywords | Reliability Analysis, Fault Tree Analysis, | |
Public URL | https://hull-repository.worktribe.com/output/470043 |
Additional Information | Book chapter |
Contract Date | Nov 13, 2014 |
Files
Article.pdf
(473 Kb)
PDF
You might also like
Assessing the Impact of Usability from Evaluating Mobile Health Applications
(2024)
Journal Article
Motivating Students to Learn How to Write Code Using a Gamified Programming Tutor
(2023)
Journal Article