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

摘要：

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

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

所属期刊栏目：18

分类号：TP311.5(计算技术、计算机技术)

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

在线出版日期：2012-08-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：65-71