推进动态故障树分析

本文提出了一种新的动态故障树（DFTs）状态空间生成方法，以及一种合成DFT中故障率的技术。我们的状态空间生成技术充分利用DFT结构——检测对称性、虚假非确定性和不关心情况。基准测试表明，在状态空间生成和分析时间方面，提升超过两个数量级。我们的方法支持具有符号故障率的DFT，并辅以参数合成。这使得在确保平均故障时间低于阈值的同时，能够确定系统组件的最大可容忍故障率。