一种工具支撑的动态故障树定量分析方法

摘要

动态故障树目前被广泛应用在动态系统的可靠性分析中,通过引入动态逻辑门来弥补了传统静态故障树无法描述动态系统时序逻辑关系的缺点.由于动态故障树复杂的动态特性,现有的针对动态故障树的定量分析方法或需要大量的人力劳动或降低了结果的精度,同时还缺少实用工具的支撑.提出一种针对动态故障树的定量分析方法:将动态故障树转到PRSIM语言,并用计算树逻辑定义定量分析属性,从而通过PRISM概率模型检测机对动态故障树进行定量分析;本方法能保证动态故障树定量分析精度,并减少大量的人力劳动.