Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook

Papadopoulos, Yiannis; Walker, Martin

Abstract

The Fault tree handbook has become the de facto standard for fault tree analysis (FTA), defining the notation and mathematical foundation of this widely used safety analysis technique. The Handbook recognises that classical combinatorial fault trees employing only Boolean gates cannot capture the potentially critical significance of the temporal ordering of failure events in a system. Although the Handbook proposes two dynamic gates that could remedy this, a Priority-AND and an Exclusive-OR gate, these gates were never accurately defined. This paper proposes extensions to the logical foundation of fault trees that enable use of these dynamic gates in an extended and more powerful FTA. The benefits of this approach are demonstrated on a generic triple-module standby redundant system exhibiting dynamic behaviour.

Citation

Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125. https://doi.org/10.1016/j.conengprac.2008.10.003

• Journal Article Type: Article
• Acceptance Date: Oct 13, 2008
• Publication Date: Oct 1, 2009
• Deposit Date: Nov 13, 2014
• Publicly Available Date: Nov 23, 2017
• Journal: Control engineering practice
• Print ISSN: 0967-0661
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 17
• Issue: 10
• Pages: 1115-1125
• DOI: https://doi.org/10.1016/j.conengprac.2008.10.003
• Keywords: REF 2014 submission, Fault trees, Temporal logic, Safety critical, Safety analysis, Reliability
• Public URL: https://hull-repository.worktribe.com/output/472874
• Publisher URL: http://www.sciencedirect.com/science/article/pii/S096706610800186X
• Additional Information: Authors' accepted manuscript of article published in: Control engineering practice, 2009, v.17, issue 10.