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

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