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

Walker, Martin; Papadopoulos, Yiannis

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.

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. https://doi.org/10.1016/j.nahs.2006.05.003

• Journal Article Type: Article
• Acceptance Date: May 30, 2006
• Online Publication Date: Mar 6, 2007
• 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
• 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
• Public URL: https://hull-repository.worktribe.com/output/405522
• Publisher URL: https://www.sciencedirect.com/science/article/pii/S1751570X06000574?via%3Dihub