Martin Walker
A hierarchical method for the reduction of temporal expressions in Pandora
Walker, Martin; Papadopoulos, Yiannis
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 |
You might also like
Safety-Security Co-Engineering Framework
(2023)
Report
Dependability Analysis Using Temporal Fault Trees and Monte Carlo Simulation
(2021)
Book Chapter
Dynamic system safety analysis in HiP-HOPS with Petri Nets and Bayesian Networks
(2018)
Journal Article
Downloadable Citations
About Repository@Hull
Administrator e-mail: repository@hull.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search