CTCS-3级列控系统中RBC功能需求及接口分析

无线闭塞中心(RBC)是CTCS-3级列控系统的核心地面子系统,随着300km/h以上CTCS-3级客运专线的建设,RBC的运用越来越广泛。着重分析RBC结构、列控系统运营场景中的功能需求、容量计算以及与CTCS-3级列控系统中其他子系统的接口,对CTCS-3级列控系统工程设计中RBC的功能划分和接口设计有很大的帮助。     

CTCS-3级列控系统RBC外部接口故障处理

通过介绍CTCS-3级列控系统RBC设备的外部接口关系,分析并阐述了RBC设备与外部接口设备间的报警,以及故障后的处理思路和方法。     

CTCS-3级列控系统无线闭塞中心仿真子系统的设计与实现

为了满足铁路运维人员对CTCS-3级列控系统无线闭塞中心(RBC)设备的原理和操作的学习需求,提出了一种通过搭建半实物仿真平台实现CTCS-3级列控系统仿真的方案。以CTCS-3级列控系统无线闭塞中心子系统作为研究对象,通过对功能、原理进行分析,设计系统结构和软件模块,并利用VS2008的MFC进行软件开发。     

基于黑盒测试技术的CTCS-3级列控系统联调联试研究

CTCS-3级列控系统是高速列车安全、可靠、高效运行的关键技术之一。为检验列控系统的总体设计方案和功能需求,在系统集成工作完成后,应在动态条件下,对系统设计方案、总体功能需求和系统接口关系与安全性等进行联调联试。CTCS-3级列控系统联调联试属于典型的黑盒测试,武广高速铁路CTCS-3级列控系统联调联试以黑盒测试技术为基础,将测试模型、测试案例、测试数据、缺陷管理与试验环境充分结合,促进了列控系统联调联试技术的发展。     

基于运营场景的CTCS-3级列控系统功能需求分析

为了满足我国高速铁路的运营要求,通过自主创新形成了一套完整的基于无线闭塞技术的中国列车运行控制系统CTCS-3级规范。从CTCS-3级列控系统运营场景的角度,对CTCS-3级列控系统的功能需求进行分析,包括列车注册与注销、等级转换、行车许可、调车、紧急情况处理、临时限速、RBC切换等。     

仿真测试管理器在CTCS-3级列控系统仿真测试平台的应用

仿真测试管理器是CTCS-3级仿真测试平台的重要辅助模块,它独立于CTCS-3级列控系统,但在仿真平台中可实现节点监控、数据收集、人工命令自动下达等辅助功能.从仿真测试管理器的仿真前准备及仿真过程控制两大方面对其进行介绍,体现出其在CTCS-3级列控系统仿真测试平台中灵活性及重要性.     

CTCS-3级列控动态检测技术探讨

针对目前CTCS-3级列控系统综合检测的需求,分析CTCS-3级列控系统功能,从功能和测试内容的角度,提出地面信号设备检测、列控通道综合检测和车载运行记录监测及数据分析等CTCS-3级列控动态检测项目。     

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级列控系统需求规范的正确性。     

CTCS-3级列控系统虚拟仿真与网络安全测试平台的设计与实现

为了测试验证网络威胁对高速铁路CTCS-3级列控系统功能的影响,设计实现了高速铁路CTCS-3级列控系统虚拟仿真及网络安全测试平台。该平台采用了软件定义网络、网络功能虚拟化和云计算等技术,并使用主流的网络安全威胁手段对高速铁路CTCS-3级列控仿真系统进行测试验证。     

CTCS-3级列控仿真实验系统—轨旁仿真子系统的设计与实现

为解决当前高校在CTCS-3级列控系统教学中缺乏信号设备实物的问题,采用软件仿真的形式,建立适用于本科教学的CTCS-3级列控仿真实验系统。重点研究了CTCS-3级列控仿真实验系统中的轨旁仿真子系统,以轨道电路、应答器、站内信号机、站内道岔等轨旁设备作为研究对象,提出了CTCS-3级列控轨旁仿真子系统的总体设计方案,阐述了内部核心功能的详细实现,介绍了系统的工作流程。该子系统与CTCS-3级列控仿真实验系统中其他仿真子系统进行了联调,实现了既定的功能需求。结果表明,该轨旁仿真子系统能够较好地配合CTCS-3级列控系统,实现教学的目的。     

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

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

CTCS-3级列控系统接口在线监测研究

介绍CTCS-3级列控系统接口的监测方法,重点分析如何利用串口监测ATPIgsm-r接口,如何利用专用设备监测RBCPRI接口,以及如何利用交换机端口映射监测安全以太网络接口。按照介绍的方法构造的CTCS-3级列控系统接口监测系统能正确采集、存储、处理、解析监测数据,既能帮助用户实时查看CTCS-3级列控系统各接口的通信情况,也能帮助用户分析各接口历史数据,定位通信故障原因。适合在CTCS-3级实验室以及实际运营线路安装使用。     

高速铁路CTC仿真培训系统的设计与应用

调度集中系统(CTC系统)是我国高速铁路运输的核心调度指挥系统。本文针对当前高速铁路现场人员的工作实际和铁路局的迫切需求,通过分析CTC系统的功能需求,在CTCS-3级仿真培训系统的平台上,设计开发了高速铁路CTC仿真培训系统,并将其应用到员工培训中,为高速铁路调度指挥人员提供了较为真实的培训环境,有助于保障高速铁路的安全高效运行。     

CTCS-2至CTCS-3等级转换的研究及仿真

分析CTCS-2级转换至CTCS-3级的具体流程以及转换过程中的车地信息交互。以西南交通大学CTCS-3级列控系统仿真平台为研究对象,针对该系统CTCS-2级至CTCS-3级等级转换的功能空缺,在车载子系统中增加等级转换控制模块,完善地面子系统相关功能,并对CTCS-2级至CTCS-3级的等级转换功能进行仿真测试。结果表明,该平台能够正确地完成CTCS-2级至CTCS-3级的等级转换,实现等级转换过程中超速防护功能及司机提示功能,并对等级转换过程中车地仿真消息进行实时记录和显示。     

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

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

CTCS-3级列车运行控制系统对GSM-R网络主要需求的探讨

CTCS-3级列车运行控制系统采用GSM-R网络实现RBC与车载设备的车-地信息双向传输。通过总结CTCS-3级列车运行控制系统安全数据传输对GSM-R网络的主要需求特点,分析满足列车运行控制系统需求的GSM-R网络主要运行指标,提出工程建设和运营维护工作中需要考虑的因素及建议采取的措施,可供统筹开展高速铁路信号、通信系统设计、建设与维护工作参考。