点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：小型微型计算机系统

关键字：动态故障树;定量分析;模型检测;可靠性分析;

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

是否译文：否

发表时间：2017-09-15

合写作者：司佳,黄志球,王梓,L00205

通讯作者：沈国华