基于STPA和时序逻辑的RBC切换场景安全分析.pdfVIP

数据库系统设计电子技术与软件工程

DatabaseSystemDesignElectronicTechnologySoftwareEngineering

基于STPA和时序逻辑的RBC切换场景安全分析

1*2

林经源 何涛

（1.兰州交通大学自动化与电气工程学院甘肃省兰州市730070）

（2.兰州交通大学自动控制研究所甘肃省兰州市730070）

摘要：本文提出一种利用时序逻辑运算的方法对系统理论的过程分析进行扩展的方法。首先建立对应的系

统理论的事故模型及过程，参考列控系统的十四个运营场景进行细化，以RBC切换场景为例，进行系统安全性分析。

最后结合时序逻辑约简来辨识可能出现的复杂系统危险。

关键词：系统理论过程分析；时序约简；CTCS-3级列车控制系统；RBC切换

随着中国高铁技术的