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

摘要：

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

关键词：软件需求、软件可靠性、软件安全性、分析验证

分类号：TP311.52;V475.2;TN91

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

页数：共4页

页码：31-34