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

摘要：软件系统危险分析是软件系统分析与设计阶段软件安全性保证的一项重要工作,可尽早识别软件系统设计缺陷、软件相关危险、安全关键模式与任务等,对改进系统设计、提升系统安全性、降低更改成本具有重要意义。但现有的故障模式及影响分析(FMEA)、系统危险分析等方法重点关注失效引发的危险,在识别要求遗漏、交互时序紊乱、违反约束等因素引发的危险方面存在局限。在分析软件系统危险影响因素、总结已有工程经验的基础上,提出了一套工程适用的航天软件系统危险分析方案,并对其应用实践进行了介绍,可为该项工作的应用推广提供支持。