A hierarchical method for the reduction of temporal expressions in Pandora
Walker, Martin; Papadopoulos, Yiannis
Professor Yiannis Papadopoulos Y.I.Papadopoulos@hull.ac.uk
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.
Papadopoulos, Y., & Walker, M. (2010). A hierarchical method for the reduction of temporal expressions in Pandora. doi:10.1145/1772630.1772634
|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|
This file is under embargo due to copyright reasons.
You might also like
Variability management in safety-critical systems design and dependability analysis
Variability management in safety-critical systems design & dependability analysis
Infinite Virtual Stoa