车车通信列控系统资源管理单元安全性分析

作     者：刘振宇 李晶 LIU Zhenyu;LI Jing

作者机构：北京城建设计发展集团股份有限公司北京100045 

出 版 物：《都市快轨交通》 (Urban Rapid Rail Transit)

年 卷 期：2022年第35卷第2期

页      码：143-148页

摘      要：基于车车通信的列控系统在传统车地通信的基础上,引入了车车通信技术,后车与前车实时通信,极大地简化了地面设备,提高了列车运行效率。使用STPA法对该系统的关键设备(资源管理单元)的安全性进行研究。以资源管理单元下发临时限速命令的过程为例,识别出过程中的危险行为,找出系统的不安全因素,规划安全性设计需求。通过安全性设计需求条件搭建该场景的时间自动机网络模型,使用UPPAAL对模型进行验证。验证表明STPA方法能够找到列控系统中的控制缺陷,并采用相应的策略,提高系统的安全性,在列控系统的安全性分析中具有较好的适用性。

主 题 词：轨道交通 车车通信 系统理论过程分析方法 安全性 UPPAAL 

学科分类：08[工学] 082302[082302] 0823[工学-农业工程类] 

D　O　I：10.3969/j.issn.1672-6073.2022.02.022

馆 藏 号：203110411...