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

• 作者: 胡军 魏欧 黄鸣宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 故障树 故障配置 模型检测
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 信息安全
• 页码范围: 182-191
• 页数: 10页
• 分类号: TP311
• 字数: 13164字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.02.029

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
2	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
3	黄鸣宇	南京航空航天大学计算机科学与技术学院	9	37	4.0	5.0