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

摘要

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