基于故障配置的故障树生成

摘要：

故障树分析是提高系统安全性和可靠性的有效方法.传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错.为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析.首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树.案例研究验证了该方法的有效性.

关键词：故障树、故障配置、模型检测

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170043;国家重点基础研究发展计划973项目2014CB744904;航空科学基金项目20155552047;江苏省研究生培养创新工程SJLX15_0139;南京航空航天大学研究生创新基地实验室开放基金kfjj20161602;中央高校基本科研业务费专项资金资助

在线出版日期：2017-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：182-191