Skip to main content

Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates

Walker, Martin; Papadopoulos, Yiannis

Authors

Martin Walker



Abstract

Classical Fault Tree Analysis (FTA) can determine the effects of combinations of failure events on a system but cannot capture the significance of the temporal order of events, which may be critical. In this paper, we propose an extension based on formal definition and use of Priority AND gates that enables representation of event sequences and analysis of temporal relationships in FTA. In addition, we show how this type of temporal analysis can be used in conjunction with a recently proposed method for automated fault tree synthesis to allow accurate failure analyses of system models to be carried out efficiently. The approach is demonstrated on a generic system with a shared backup component. The paper tentatively concludes that this type of temporal FTA can provide a more precise and ultimately more correct insight into the failure behaviour of a system.

Journal Article Type Article
Publication Date 2008-06
Journal Nonlinear Analysis: Hybrid Systems
Print ISSN 1751-570X
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 2
Issue 2
Pages 368-382
APA6 Citation Walker, M., & Papadopoulos, Y. (2008). Synthesis and analysis of temporal fault trees with PANDORA: the time of Priority AND gates. Nonlinear Analysis: Hybrid Systems, 2(2), (368-382). doi:10.1016/j.nahs.2006.05.003. ISSN 1751-570X
DOI https://doi.org/10.1016/j.nahs.2006.05.003
Keywords Safety analysis; Reliability analysis; Fault tree synthesis; Temporal fault trees; Temporal logic; HiP-HOPS
Publisher URL https://www.sciencedirect.com/science/article/pii/S1751570X06000574?via%3Dihub