空间飞行器中数据处理和空间环境控制软件的安全性分析与设计

摘要

软件安全性分析与设计是保证与软件相关设备和人员安全性的基础.针对软件研制开发过程中软件的安全性分析与设计在实践方面的不足,本文主要从以下方面对软件的安全性分析与设计进行了探讨和实践:1)运用危险矩阵对数据处理和空间环境控制软件系统进行PHA(初步危险分析)分析;2)运用SFTA(软件故障树分析)方法对PHA得到的危险进行软件的安全性详细分析,确定安全性关键软件模块;3)根据软件安全性分析得到的结果,对安全性关键软件模块进行算法、逻辑和控制流程设计,最终完成软件安全性设计.按上述过程和方法研制出的软件已成功参加数次空间飞行器的空间飞行试验,证明了软件安全性分析与设计正确、合理.