嵌入式机载软件安全性分析标准、方法及工具研究综述

• 作者: 徐丙凤 胡军 阚双龙 陈哲 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 嵌入式软件 机载软件安全性 适航认证 安全性分析 软件工具
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 嵌入式系统软件设计方法与技术专刊
• 页码范围: 200-218
• 页数: 19页
• 分类号: TP311
• 字数: 18912字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004530

摘要

嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简介,并给出机载软件安全性分析框架;其次,从机载软件安全性分析框架出发,将机载软件安全性保障方法划分为3个方面,即,机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证.对这3个方面的现有研究工作以及工业应用进行了综述;然后,针对当前适航标准的要求对机载软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结;最后,提出机载软件安全性领域存在的挑战和未来的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	陈哲	南京航空航天大学计算机科学与技术学院	25	189	7.0	13.0
3	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
4	徐丙凤	南京航空航天大学计算机科学与技术学院	16	297	9.0	16.0
5	阚双龙	南京航空航天大学计算机科学与技术学院	15	132	5.0	11.0