将故障信息扩展到功能模型的安全性分析方法研究

• 作者: 仵志鹏 曹德建 陆陈 陈光颖 黄志球
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 嵌入式系统 安全性分析 状态图 故障树分析 故障扩展状态图
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 计算机软件与数据库研究
• 页码范围: 24-32
• 页数: 9页
• 分类号: TP311
• 字数: 10925字
• 语种: 中文

摘要

随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出一种将故障信息扩展到状态图模型的方法和故障扩展状态图的概念,同时构建了故障信息和状态图元素之间的语义映射表,给出了故障树逻辑门的转换规则,设计了一个基于故障扩展状态图的模型转换与验证框架,并给出了利用映射表自动构建故障扩展状态图的算法.最后,运用文中提出的方法,通过对一个小型燃气灶控制系统进行案例分析,证明了文中方法的可行性和有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	仵志鹏	南京航空航天大学计算机科学与技术学院	3	5	2.0	2.0
3	曹德建	南京航空航天大学计算机科学与技术学院	4	15	3.0	3.0
4	陈光颖	南京航空航天大学计算机科学与技术学院	4	21	3.0	4.0
5	陆陈	南京航空航天大学计算机科学与技术学院	2	3	1.0	1.0