基于STPA方法的平交道口安全需求分析

作者：刘宏杰; 唐涛; 金夏垚; 杜恒平交道口系统理论过程分析安全分析线性时序逻辑xstampp软件

摘要：现代平交道口控制系统多为由计算机组成的基于通信的控制系统，该类型系统中的危险致 因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生，提出一套基于系统理论过程分析（STPA）的铁路信号系统安全分析方法。借助对传统STPA方法 的改进及XSTAMPP软件，以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需 求可根据危险分析结果自动生成，解决了传统STPA过程过于依赖人工的问题；分析得到的平交 道口控制系统安全需求被自动转化为线性时序逻辑（LTL）语言描述的形式化规范，避免了传统 STPA分析结果用自然语言描述可能存在的歧义性，为基于模型的系统设计、测试和验证提供 参考。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社