基于北斗短报文的应用数据安全分析

随着北斗卫星导航系统发展,已有大量北斗短报文在地质灾害频繁区段进行应用数据传输的相关研究,如何分析其安全性成为能否工程应用的关键。采用FMEA给出基于北斗短报文的应用数据安全分析方法,以保证数据的正确性为出发点,分析可能的失效模式,尤其是数据变化带来的风险,根据失效模式,给出相应的风险减轻措施,来预防或减轻风险。从而为北斗短报文在未来轨道交通领域的广泛应用提供安全助力,以提高系统整体安全性。

CTCS-3级列控系统临时限速服务器建模与形式化验证

临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。

列车控制仿真测试平台中模拟临时限速服务器研究

本文以列车控制中心为测试对象,研究了临时限速服务器仿真系统的软件结构,采用手动或者自动方式对列车控制中心报文选择功能进行验证。提出了基于参数化分界点的测试用例生成方法,实现了用例逻辑和车站数据的分离,能够大幅度提高测试效率。该系统应用于高速铁路CTCS-2级车站列车控制中心的软件仿真测试中,取得了良好的效果。

基于高速铁路的车站区间一体化技术方案研究

针对CTCS-3级中国列车运行控制系统,结合国外类似系统的设备配置状况,提出对车站联锁与列控中心两系统进行整合优化的一体化设计方案。依据一体化系统的设计原则,构建双主机结构的一体化模型,其中逻辑主机负责除应答器报文和临时限速处理功能外的所有功能。在此基础上,分析系统的外部接口以及信息交互内容和流向,并从进路解锁机制、信息采集、信息传递、发码逻辑等方面,阐述一体化系统的安全防护策略。研究表明:车站区间一体化的列车控制系统可实现更为完善的安全防护,双主机结构是有效可行的实现方案。

基于特征点的临时限速信息显示方法

特征点概念被广泛应用在计算机视觉和三维重建的方法中,将其引入到TDCS和CTC系统临时限速信息显示方法中,可减小显示运算的一部分运算量。

临时限速信息不一致故障分析

在我国高速客运专线采用的CTCS-3级列车运行控制系统中,设置了专门的临时限速系统,用于管理和控制临时限速的产生和传送。针对客运专线临时限速下达和执行过程存在的临时限速信息与实际限速信息不一致的问题,在阐述临时限速系统的工作原理及控制流程的基础上,具体进行了分析和定位,并提出解决和处理方案。

青岛北枢纽站列控技术方案研究

介绍青岛北列控中心设置的技术方案,包括基于工程特殊站场条件下系统的结构和实现的功能,通过分析研究工程设置特点,给出青岛北枢纽站临时限速设置方案、信号降级处理原则、系统配置方案、列控中心与其他设备接口设计方案,以满足胶济线青岛北枢纽工程提高运输效率的需求。

应答器报文容量超限解决方案探讨

在轨道联络线弯进直出场景下,若存在分相区、且进路内道岔数量较多时,进站应答器会存在报文容量超限现象。为此,在正线股道设置有源应答器的场景下,针对进站应答器和出站应答器报文容量超限的场景提出了解决方案,并在此基础上探讨了特定场景下的其他解决方案。