软件可靠性与安全性工作要求综述

在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,如何保证软件的可靠性与安全性受到广泛关注。特别是当前型号中软件规模、复杂度、软硬件耦合程度大幅提升,对软件可靠性与安全性工作提出了更高的要求。本文在调研国内外有关标准的基础上,结合实际型号工程经验,对软件技术管理要求、不同阶段的可靠性与安全性工作要求等进行了系统总结,可为后续的软件可靠性与安全性设计、验证及管理等工作提供输入。     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

航天软件系统事故机理与模型研究

随着航天软件系统规模、复杂度、软硬件交互程度的提高,系统事故可能不仅涉及软件或硬件失效,很多情况下还可能由于系统部件间的交互紊乱等原因所引起。传统的事故链等模型在描述结构、交互关系复杂的航天软件系统事故时存在局限。本文在梳理航天软件系统事故因素、分析系统事故机理的基础上,建立了缺陷模型库,并提出了一种可清晰描述复杂软件系统事故发生、缺陷形成机理的事故集成模型及建模方法。上述机理及模型研究成果,可用于事故的分析与预防,以及前期的安全性设计与质量管理等工作,对于提升软件系统的安全性具有重要意义。     

事故模型理论发展与应用研究

事故模型可清晰地描述事故的形成、发展与演变过程,为前期的安全性设计、事后的事故与问题分析等工作提供依据。本文对几类典型事故模型的建模思路进行了简述,分析了事故模型的理论发展趋势、不同类型模型的应用范围与局限性,并给出了工程示例。