Advancing Dynamic Fault Tree Analysis
This work addresses efficiency and reliability analysis for dynamic fault trees, which is incremental as it builds on existing DFT methods with specific improvements.
The paper tackles the problem of analyzing dynamic fault trees (DFTs) by introducing a new state space generation approach that exploits DFT structure, achieving a gain of more than two orders of magnitude in state space generation and analysis time. It also enables parameter synthesis to determine maximal tolerable failure rates while ensuring system reliability thresholds.
This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise failures rates in DFTs. Our state space generation technique aggressively exploits the DFT structure --- detecting symmetries, spurious non-determinism, and don't cares. Benchmarks show a gain of more than two orders of magnitude in terms of state space generation and analysis time. Our approach supports DFTs with symbolic failure rates and is complemented by parameter synthesis. This enables determining the maximal tolerable failure rate of a system component while ensuring that the mean time of failure stays below a threshold.