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

A Review of Standards,Methods and Tools for Software Safety in Manned Space Flight

作　　者：李仁见[1] 董威[2] 董龙明[1] 吴学光[1] 

机构地区：[1]国防科技大学计算机学院并行与分布处理国家重点实验室,长沙410073 [2]国防科技大学计算机学院,长沙410073

出　　处：《载人航天》2012年第3期65-71,共7页Manned Spaceflight

基　　金：载人航天领域预先研究项目(000301)

摘　　要：调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状,给出了一种建议的载人航天软件安全性保障框架,可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。Investigating and learning from existed standards, methods and tools are essential for guaranteeing software safety in manned space flight systems. Taking DO-178B as an example, safety standards which are suitable for the development of software in China＇s manned space flight systems are introduced. Three software safety assurance methods are presented according to the safety requirements of DO-178B, and several analysis and verification tools that can strengthen software safety via different techniques are proposed. A framework for guaranteeing software safety in manned space flight systems is suggested based on the investigation results, which might be helpful to software safety assurance in the development of China＇s manned space flight systems.

关 键 词：载人航天 软件安全性标准 软件开发方法 分析验证工具 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]