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

作　　者：林经源 何涛[2] 

机构地区：[1]兰州交通大学自动化与电气工程学院,甘肃省兰州市730070 [2]兰州交通大学自动控制研究所,甘肃省兰州市730070

出　　处：《电子技术与软件工程》2023年第6期210-213,共4页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

基　　金：国家自然科学基金-铁路基础研究联合基金《面向复杂环境的列车自主运行控制状态全息感知理论与关键技术研究》(项目编号:U2268206);2022年度甘肃省重点人才项目《面向铁路信号系统的数字孪生应用平台研究》(项目编号:2022RCXM014)。

摘　　要：本文提出一种利用时序逻辑运算的方法对系统理论的过程分析进行扩展的方法。首先建立对应的系统理论的事故模型及过程,参考列控系统的十四个运营场景进行细化,以RBC切换场景为例,进行系统安全性分析。最后结合时序逻辑约简来辨识可能出现的复杂系统危险。

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

分 类 号：U284.48[交通运输工程—交通信息工程及控制] TP309[交通运输工程—道路与铁道工程]