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. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, 141-151. https://doi.org/10.1007/978-3-319-00945-2_13

• Journal Article Type: Conference Paper
• 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-5365
• 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