Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates.
SAFECOMP(2016)
摘要
This paper presents a new state space generation approach for dynamic fault trees (DFTs) together with a technique to synthesise allowed 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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络