航天软件系统危险分析方法应用实践

The application of hazard analysis methods for space software systems

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

Software hazard analysis is an important software safety assurance activity in software analysis and design stages. The hazard analysis can identify the software system design defects,the hazards related to the software,and the safety-critical system modes and tasks,which can improve system design and safety level,reduce the cost of changes. The existing system analysis methods,such as FMEA,system hazard analysis,focus on the hazards caused by failures,which has limitations on identifying the hazards related to requirements missing,interaction disorder and constraints violations. In this paper,an integrated method for space software hazard analysis is proposed by analyzing the hazard influencing factors and summarizing the engineering experience,and the application practice experiences are introduced,which can provide the technical support for applications.