新型列控系统无线闭塞中心测试平台研究

新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安全功能进行充分验证。既有无线闭塞中心测试平台由于逻辑及数据结构设计问题,难以适配新型列控系统的工程数据,且无法满足新型列控系统部分功能的测试需求。通过分析新型列控系统工程数据及无线闭塞中心系统功能,对既有测试平台进行升级,将逻辑构建方式由以数据为基础调整为以模型为基础,降低测试平台与工程数据的耦合性;利用真实线路数据及新型列控系统中典型运用场景对该测试平台功能进行验证。验证结果表明,该测试平台解决了适配度不高、数据配置复杂的问题,可以满足新型列控系统无线闭塞中心多场景测试需求。     

CTCS3无线闭塞中心工程化数据生成方法与实现

为保证在实际工程项目实施中,能够更精准、高效的完成无线闭塞中心(RBC, Radio Block Center)的工程化数据配置,通过分析列控地面工程数据和RBC数据结构,提出一种RBC工程化数据生成方法。基于RBC工程化数据配置规则,采用C#和NPOI,开发了由列控地面工程数据到RBC工程化数据的数据转换工具。经试验表明, RBC工程化数据生成方法是可行的。该数据转换工具显著节约人工成本、缩短项目周期,目前已成功应用于8套RBC的工程化数据配置。     

基于距离的线路数据处理算法

在基于设计散列长链算法基础上,针对铁路信号产品列控中心、无线闭塞中心、临时限速服务器软件对于铁路线路数据处理存在的差异进行分析,提出一种基于距离的线路数据处理算法,通过提供给数据配置用户自行定义配置规则的接口使得线路数据配置灵活、统一,通过提供线路上任意点的相对距离、绝对距离的计算接口使研发用户不再考虑线路数据配置规则...     

仿真测试控制器在RBC仿真测试平台中的应用研究

仿真测试控制器是无线闭塞中心(Radio Block Center,简称RBC)仿真测试平台中的重要组成部分。它可以实现对平台中所有模块的监测、控制、数据配置和数据收集等辅助功能。仿真测试控制器是整个RBC仿真测试平台的总控模块,通过对仿真测试控制器各项功能的详细介绍,体现出该控制器在RBC仿真测试平台中的灵活性及重要性。     

自主化无线闭塞中心测试平台研究

无线闭塞中心(RBC)作为CTCS-3级列控系统的地面核心设备,控制高速铁路列车的运行和追踪。为尽可能发现无线闭塞中心系统的功能缺陷,对其进行充分、完整的测试必不可少。在分析自主化无线闭塞系统功能和接口的基础上,对自主化无线闭塞中心测试平台进行研究,包括基于真实设备搭建的测试平台和基于仿真软件搭建的测试平台两部分,并着重介绍自动测试平台,相比人工测试,自动测试最大程度减少了测试中的不确定因素,能够最大程度验证无线闭塞中心的安全性和可靠性。     

京沪高铁无线闭塞中心日志分析

京沪高铁于2011年6月30日正式开通,它是一条高速度、高密度、高正点率、高安全性的现代化旅客运输线路。为满足列车控制系统对信息传递实时性的要求,引入了基于无线传输的CTCS-3级列控系统,而无线闭塞中心系统RBC是CTCS-3级列车运行控制系统的地面核心设备。介绍了京沪高铁无线闭塞中心系统的组成、功能、特点等,对无线数据进行举例分析。     

GSM-R移动交换中心电路域链路配置的设计

本文从移动交换中心(MSC)电路域链路配置原则入手,以局向链路比例为依据,给出局向话务量计算方法及链路配置方法.结合无线闭塞中心(RBC)性能,得出MSC电路域对RBC的链路配置.     

基于GSM-R无线网络实现车-地通信的CTCS-3级列控系统分析

着重阐述基于GSM-R无线网络的车-地通信如何实现地面设备之无线闭塞中心子系统与车载设备连接,如何确保无线闭塞中心子系统发送行车许可和临时限速等控车指令实现高速列车的无线指挥,以及如何完成无线闭塞中心实时接收车载设备动态信息的无线反馈。     

基于散列的长链处理算法

针对铁路信号产品无线闭塞中心、临时限速服务器、列控中心软件对于长链的处理存在的差异进行分析,提出对于长链的一种散列处理算法,兼容目前使用的两种长链规范标准,力求配置最少的信息,得到对于长链计算所需的各种关键参数,以提供给研发、测试开发所需对于长链处理的公共处理接口,使开发人员不再处理长链的计算,解决数据配置人员由于各产...     

京广高铁无线闭塞中心双系重启故障探讨

京广高铁无线闭塞中心可产生控车所需的行车许可信息、线路描述信息及临时限速等信息,是控制列车运行的核心设备。自京广高铁开通以来,无线闭塞中心曾因移交问题多次发生双系重启故障,列车因收不到控制信息而从CTCS-3级降至CTCS-2级减速运行,在严重时还会导致部分列车紧急停车。针对该故障进行了较为深入的研究并给出改进算法,以供广大技术人员借鉴研究。     

CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

基于SPN的无线闭塞中心切换过程中的故障分析

分析在RBC2(接收无线闭塞中心(RBC))不同时段故障工况下,对RBC切换的影响,选取形式化描述语言随机Petri网(SPN),分别建立RBC2在不同时段故障下RBC的切换模型,采用SPN数学建模,通过SPNP6.0分析RBC故障对切换的影响以及对行车安全和行车效率等方面的影响.分析结果可使人们对实际情况中RBC切换有更真实的认识,并对设备的改进、协议的完善等有一定的借鉴意义.     

《RSSP-Ⅱ》安全通信协议在RBC/CBI接口中的特殊点

《RSSP-II》安全通信协议是一个总体规范,并不能直接指导软件人员编码实现,结合此规范在无线闭塞中心(RBC)与计算机联锁(CBI)接口中具体应用,提出一些特殊之处的设置及使用方法。     

基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。     

基于Testcase Designer的列车运行控制系统测试方法的研究

针对CTCS-3级列控系统的需求规范，结合欧洲列车运行控制系统（ETCS）的测试经验，研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化，通过优化编写流程，生成符合测试平台需求的测试序列，为测试项目的执行提供必要的关键数据点。同时，Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口（如BTM、TIU、RTM等）配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心（RBC）切换场景为例，采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成，编写的测试案例是合理的。