列车运行控制系统中安全通信协议的形式化分析

安全通信协议是保证基于通信的列车运行控制系统中通信安全的主要因素,其性质和最终实现正确的形式化验证具有重要意义。本文将欧洲列车运行控制系统安全通信协议规范中的一些未强制规定的要求明确化,选择分层赋时有色Petri网(CPN)对修改后的安全通信协议进行研究,综合安全层、信道与应用层模型提出无线通信系统模型的分层结构,通过改变信道与应用层模型的参数,分析修改的安全通信协议中安全连接建立的时间特性。分析结果表明:信道丢包率为0.1、0.05、0.01的情况下,修改的安全通信协议安全连接建立时间特性是符合规范要求的。

ERTMS/ETCS EuEroRadio无线通信传输接口分析及研究

纵观国际高铁技术发展,欧洲高铁起步较早,欧洲列车控制系统不论在技术架构还是技术研究有很多值得借鉴,Euro Radio无线传输数部分定义了ETCS的轨道侧和车载侧之间无线传输结构,为高铁运行的关键技术。本文介绍并对ERTMS/ETCS系统总体结构,ETCS Euro Radio车载部分和轨道侧部分无线传输结构、接口进行分析,对铁路车辆无线数据传输和运行控制具有重要意义。

ETCS基线3无线功能接口规范分组域模式研究

ETCS系统规范基线3版本已经升级发布,ETCS系统车地无线功能接口部分发生了较大变化,其中PS模式(分组域)引入为最明显的变更点。对基线3车地无线接口PS模式主要内容进行总结,可为ETCS系统开发及国内CTCS系统中相关方面的发展提供参考。