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