基于多值决策图的动态故障树分析方法

摘要

针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术.为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍旧很突出.介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效的缓解了状态爆炸问题.这种对大型动态子树的可靠性计算方法是有效而且快速的，一定程度上解决了状态空间的爆炸问题。这种方法中对于和动态失效行为相关的子树部件，运用状态空间方法来分析。多值变量对动态门进行编码，生成整个系统的MDD是简单且小型的，组合方法和状态空间方法综合运用，这使得状态空间的爆炸问题大大缓解。对于现实生活中各种多功能动态软件和嵌入式系统的可靠性分析，该方法可以得到广泛应用。