一种准确识别损失场景的STPA

摘要：

"系统理论事故模型与过程"(STAMP)理论认为系统安全是系统的涌现属性,因此,更准确地揭示了现代复杂系统的危险成因.依据该理论构建的"系统理论过程分析"(STPA)是一种新型危险分析方法,得到越来越多的关注,目前已被多份国际标准所采纳.但STPA仍以人工分析为主,当系统较复杂时,损失场景呈现涌现特性,STPA难以识别这类损失场景.提出改进的STPA,澄清了不安全控制动作(UCA)、损失场景、过程模型等概念,利用状态机构建识别UCA和损失场景所需要的全部行为,利用模型检测技术识别时间相关或不相关UCA的损失场景,改进后的STPA具备准确识别涌现损失场景的能力,可以减少"漏报"或"误报".

关键词：系统理论过程分析、有限状态机、模型检测、不安全控制动作、损失场景

所属期刊栏目：49

分类号：V11;T-19;TP29(航空、航天的发展与空间探索)

资助基金：国家自然科学基金U1533201

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

页数：共13页

页码：311-323