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

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