CTCS-3级列车运行控制系统综合测试平台研究

在分析ETCS测试规范及互联互通测试的基础上，重点介绍了CTCS-3级列车运行控制系统综合测试平台的功能需求、总体结构、设备配置等内容。该平台的建立可以为关键技术研究及系统设备集成，提供良好的辅助设计、集成调试及验证测试环境。     

基于AdmiTest的CTCS-3级列控系统自动测试平台

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool.CARSTool采用激励—反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块.以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试.测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励—反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试.     

CTCS-2级车载ATP自动测试脚本的编写方法

在CTCS-2级列控系统中,车载ATP控制列车的运行速度,保证列车运行安全,因此需要对车载ATP功能进行全面严格地测试。为了提高测试效率,降低测试人员的工作强度,提高测试结果的准确度,设计了一种CTCS-2级车载ATP自动测试平台,详细描述了该平台中应答器脚本、轨道电路脚本和测试案例脚本的设计和使用方法,通过实验证明该平台结构正确合理,应答器脚本、轨道电路脚本和测试案例脚本的编写方法正确,能够实现对CTCS-2级车载ATP功能的自动测试。     

一种基于场景的CTCS-3列车控制系统建模方法研究

对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。     

基于纯国产信号设备的京津城际延伸线CTCS-3D级列控系统方案介绍

针对京津城际延伸线工程,提出一种基于纯国产信号设备的CTCS-3D级列控系统方案。为了满足与京津城际铁路的互联互通,该方案以国产客专CTCS-2级地面列控系统为基础,对其进行适应性改造,以同时满足ETCS-1级车载设备和CTCS-2车载设备的控车需求。从总体技术框架、联锁与室外信号机、列控中心与LEU、调度台与临时限速、应答器组及报文以及落物防护等方面对该方案进行了介绍。     

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

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

故障注入方法在列车运行控制仿真系统中的应用

故障注入作为一种有效的测试验证手段已在多个领域得到运用,针对列控仿真系统,采用基于仿真的故障注入方法,利用基于HLA设计的故障注入工具,通过关键设备典型故障案例的大量实验,对目标仿真系统进行相关安全性能测试,得到列车运行控制仿真系统的安全性能分析及关键设备的故障概率。实验结果表明,故障注入仿真可以有效对列车运行控制系统做出可靠性评估分析。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

CTCS-3级列控系统动态测试优化方法

针对列控系统测试,为克服基于固定测试序列集的静态测试方法存在的问题,研究建立列控系统动态测试方法。将测试序列集中的上一个测试序列的执行结果作为执行下一个测试序列的输入,从而形成测试闭环;测试执行器执行完一个测试序列后,如果未检测出错误,则继续顺序执行下一个测试序列,如果检测出错误,则测试执行器更新系统的测试模型,并根据新的测试模型和测试目标集生成测试代价最小的新的测试序列集,然后按照新的测试序列集继续进行测试。仿真结果表明,动态测试方法能有效提高测试效率和测试的实际覆盖率,在测试过程中未给出虚假的测试判断。     

CTCS-3级列控系统仿真试验平台的研究

阐述了CTCS-3级列控系统仿真试验平台的构成、主要测试内容及工作流程,并通过具体的测试实例对试验平台进行了优缺点评价,同时对其前景进行了展望。     

郑州-西安客运专线CTCS-3级列控系统联调联试

郑西客运专线是紧随武广客运专线之后,又一条开通运营的具有世界一流水平的长大高速铁路,建设过程中,为保证CTCS-3级列控系统开通后能可靠安全运行,在郑西客运专线进行了大量的联调联试工作。系统总结了郑西客运专线CTCS-3级列控系统联调联试工作,包括联调联试的目的、内容、方法、实施过程等。     

CTCS-3级列控系统的调试与试验

列控系统的调试和动态联调联试是高速铁路开通运营前的关键环节,通过测试,可实现对列控系统整体功能、接口关系和工程数据的检查、完善与优化。按照CTCS-3级列车运行控制系统开发周期,列控系统调试与试验划分为实验室仿真测试、现场设备静态调试、系统集成测试与联调联试等不同阶段,各阶段的主要测试内容、测试方法和要求不同,但又构成一个不可分割的有机整体。     

CTCS-3级列控系统系统评估的分析与研究

介绍了CTCS-3级列控系统评估的基础、内容、方法和目的,详细阐述了系统评估各阶段的主要活动及其相应的技术措施,并对系统评估中的关键问题进行了深入分析。     

基于仿真的CTCS-3级列控系统功能测试方法

主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。     

基于故障注入的CTCS-3级列控系统可靠性评估技术研究

CTCS-3级列车运行控制系统的可靠性是保证列车安全高效运行的必要条件,因此,在列车控制系统仿真系统上进行各种测试验证试验至关重要。故障注入技术（Fault Injection）是将系统的有效故障模式样本注入到系统中,以此评价系统的功能设计水平,是系统测试性、安全性以及功能验证研究的重要研究基础。根据CTCS-3级列车控制系统的运行特点和软件故障注入的优势,提出将软件故障注入方法应用在列控系统仿真领域进行可靠性验证,设计并实现了一种软件故障注入系统,给出其中的故障案例描述语言、故障库和故障注入软件算法,构建了软件故障注入系统的总体结构和各部分的详细功能结构。通过仿真结果可以看出,软件故障注入方法应用在CTCS-3级仿真系统中,可以有效地模拟故障并执行注入,进一步提高仿真系统的可靠性和容错性。     

CTCS-3级列控中心仿真器建立及功能测试

列车运行控制系统从设计、施工、监控和系统试运行是一个系统的过程,涉及工程量大、投资高、系统复杂,仅仅凭借经验,难以迅速掌握问题,因而不可能对已经建成的某条线路进行长期和全面的技术检验,改进系统的性能。利用计算机仿真技术,搭建列控系统仿真测试平台,成为研究开发下一代列控系统的必经之路。     

CTCS-3级列控系统EMC技术的研究

依据CTCS-3级列控系统在实际运行中的电磁环境状况,从骚扰源、耦合途径和敏感设备3个构成电磁干扰的环节入手,分析CTCS-3级列控系统的干扰模型。围绕ATP系统的电磁兼容性试验,研究并验证CTCS-3级列控系统在现场和在实验室的电磁兼容测试方法和测试技术,讨论国内和国际相关标准的发展状况,提出了几点展望。