面向载人航天软件安全陛的标准、方法及工具综述

• 作者: 吴学光 李仁见 董威 董龙明
• 来源期刊: 载人航天
• 学科: 工学
• 关键词: 载人航天 软件安全性标准 软件开发方法 分析验证工具
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 基础研究
• 页码范围: 65-71
• 页数: 7页
• 分类号: TP311.5
• 字数: 6802字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-5825.2012.03.016

摘要

调研与学习已有的标准、方法和工具，是保障载人航天软件安全性的必要途径。首先以DO－178B标准为例介绍了适用于我国载人航天软件研制的安全性标准；然后基于DO－178B标准的安全性要求，介绍了三种适用的软件安全性保障方法；最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状，给出了一种建议的载人航天软件安全性保障框架，可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科技大学计算机学院	25	165	6.0	12.0
2	李仁见	国防科技大学计算机学院并行与分布处理国家重点实验室	3	4	2.0	2.0
3	董龙明	国防科技大学计算机学院并行与分布处理国家重点实验室	2	4	2.0	2.0
4	吴学光	国防科技大学计算机学院并行与分布处理国家重点实验室	2	2	1.0	1.0