Contribution to Temporal Fault Tree Analysis without Modularization and Transformation into the State Space

• Published in: arXiv.org
• Main Author: Schilling, Simon J
• Format: Paper
• Language: English
• Published: Ithaca Cornell University Library, arXiv.org 18.05.2015
• Subjects: Boolean algebra; Fault tree analysis; Modelling; Modularization; Operators (mathematics); Qualitative analysis; Reliability analysis; Sequences; State space models; Temporal logic; Transformations (mathematics)

Background: Fault tree analysis (FTA) is a well established method for qualitative as well as probabilistic reliability and safety analysis. As a Boolean model it does not support modelling of dynamic effects like sequence dependencies between fault events. This work describes a method that allows c...