Modular Criticality Analysis for Dynamic Fault Trees
摘要
Fault trees are commonly used to model fault occurrence and propagation in safety-critical systems. A common analysis question is “how critical is a component failure for the overall system reliability?” These insights allow to guide and tailor system improvements. Dynamic fault trees, a common extension of classical fault trees, enable more realistic modelling. However, their analysis via model-checking techniques, can suffer from state-space explosion. In this work, we revisit a modular analysis of criticality values in dynamic fault trees. The analysis exploits modules—independent subtrees—in the fault tree, and analyses them individually. Our experiments show that modular analysis can successfully mitigate state-space explosion.