一种基于状态事件故障树的软件安全性分析方法研究

• 作者: 潘诚 王思琪 陈光颖 黄传林 黄志球
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 安全关键软件 状态事件故障树 状态机 时间自动机
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 计算机软件与数据库研究
• 页码范围: 12-17
• 页数: 6页
• 分类号: TP311
• 字数: 4769字
• 语种: 中文

摘要

目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	黄传林	南京航空航天大学计算机科学与技术学院	7	53	5.0	7.0
3	潘诚	南京航空航天大学计算机科学与技术学院	4	11	2.0	3.0
4	王思琪	南京航空航天大学计算机科学与技术学院	1	7	1.0	1.0
5	陈光颖	南京航空航天大学计算机科学与技术学院	4	21	3.0	4.0