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

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

调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以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.