Skip to main content

Research Repository

Advanced Search

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

Papadopoulos, Yiannis; Walker, Martin


Martin Walker


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.


Papadopoulos, Y., & Walker, M. (2009). Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control engineering practice, 17(10), 1115-1125.

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
Keywords REF 2014 submission, Fault trees, Temporal logic, Safety critical, Safety analysis, Reliability
Public URL
Publisher URL
Additional Information Authors' accepted manuscript of article published in: Control engineering practice, 2009, v.17, issue 10.


Article.pdf (766 Kb)

Copyright Statement
© 2016, Elsevier. Licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

You might also like

Downloadable Citations