Skip to main content

Research Repository

Advanced Search

A hierarchical method for the reduction of temporal expressions in Pandora

Walker, Martin; Papadopoulos, Yiannis

Authors

Martin Walker



Abstract

Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of events. A recent technique named Pandora was proposed as one method of overcoming this limitation by introducing a temporal logic to fault trees, but the resulting expressions are generally more complex. In this paper, we propose a hierarchical method for reducing these expressions to simpler logical equivalents, which can be more easily understood and thus provide a better view of the system failure behaviour.

Citation

Papadopoulos, Y., & Walker, M. A hierarchical method for the reduction of temporal expressions in Pandora. Presented at Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10

Conference Name Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems - DYADEM-FTS '10
Acceptance Date Dec 31, 2010
Publication Date Dec 31, 2010
Journal ACM International Conference Proceeding Series
Pages 43076
ISBN 9781605589169
DOI https://doi.org/10.1145/1772630.1772634
Public URL https://hull-repository.worktribe.com/output/405517