CTCS-2/CTCS-3级列控系统等级转换基本原理与实现

CTCS-2/CTCS-3及列控系统等级转换是CTCS的关键课题之一,通过对CTCS-3级列控系统总体技术方案研究,介绍了CTCS-2/CTCS-3等级转换原理,并详细分析了CTCS-2/CTCS-3等级转换过程中地面应答器设备、RBC设备以及车载ATP设备信息交互过程。最后结合工程应用需求,提出等级转换点设计需要进一步研究讨论的问题。     

CTCS-2级ATP仿真软件测试管理系统设计

为了解决当前大量仿真软件缺乏有效测试的问题,以CTCS-2级列控系统的车载ATP仿真软件作为研究对象,提出一种测试管理系统。分析了CTCS-2级车载ATP的系统结构,在此基础上建立测试管理系统软件的体系结构;从测试管理系统软件的设计和系统工作流程两个方面对系统进行介绍;并以车载ATP仿真软件为例,基于设计并实现的测试管理系统,对测试的过程进行说明。结果表明,测试管理系统能够对被测仿真软件进行有效的测试,可以改善当前大量仿真软件缺乏有效测试的现状,提高测试效率和测试灵活性。     

基于TCL语言的车载ATP自动测试平台的研究与实现

在CTCS-2级列控系统中,车载ATP控制着列车的运行速度,保证列车运行安全,因此需要对车载ATP功能进行全面严格地测试.为了提高测试效率,降低测试人员的工作强度,提高测试结果的准确度,本文设计了一种基于TCL脚本语言的车载ATP自动测试平台,详细阐述了该平台的工作原理和实现方法,通过实验,证明该平台能够满足测试需求,是一种高效的、先进的车载ATP自动测试平台.     

CTCS-2级列控车载ATP组合测试用例集生成方法

车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。     

CTCS-2级列控系统车站侧线发车进路电码化相关问题研究

CTCS-2级列控技术成熟可靠,并在高速铁路信号系统中应用广泛。结合工程实际,对CTCS-2级车站侧线发车进路电码化与列控系统结合设计的相关问题进行研究,并对一离去区段(1LQ)过短情况下的电码化补码电路设计提出详细的分析和说明。     

CTCS-2级车站电码化与列控系统结合设计相关问题研究

随着我国列车运行速度的不断提高,CTCS-2级列控技术在铁路信号系统中得到广泛应用,但传统的车站电码化某些功能已不能满足ATP控车的需求,需做适应性修改。结合工程实际,对电码化电路与列控系统的结合设计做了详细的分析和说明,并提出了改进建议。     

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

车载ATP测试系统设计

介绍一种基于开放的标准功能接口的车载自动防护系统测试方案,并通过测试序列的实例说明该系统在CTCS-2环境下支持的应用对象。     

基于UML语言的CTCS-1级车载ATP功能建模分析

分析CTCS-1级车载ATP的硬件结构和功能需求,建立系统的用例模型;从系统运营场景出发,划分系统功能的参与者,定义参与者的属性和行为,由此建立了场景类图模型和系统类图模型;利用活动图和时序图,从不同角度描述了系统功能参与者间的交互情况;借助编程语言对所建功能模型进行了验证。     

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

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

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

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

广州地铁2号线试车线信号系统

以广州地铁2号线的专用试车线为例,分析其信号系统的设备概况、功能及特点,介绍各接口的使用情况。     

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

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

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

基于预测控制的ATP算法研究

简要介绍了列车自动防护(ATP)系统的组成结构、工作原理和功能,分析了现有ATP系统的控制模式及其特点。文中提出了一种基于预测控制的ATP控制算法,并进行了仿真分析,验证了算法的可行性。     

枢纽内客运专线列控系统与既有线列控系统切换方案探讨

针对枢纽内客运专线C2级列控系统与既有线C0级列控系统之间存在联络线时的切换问题,提出解决方案,并分析了几种切换方案的优缺点。     

CTCS-3级列控系统车载设备测试序列优化生成方法

根据车载设备功能测试的需求,研究基于中国邮路算法优化生成CTC3-3级列控系统车载设备测试序列的方法.在分析测试序列构造方法的基础上,将测试序列的优化生成问题转换为求解1个具有多重弧的有向图的中国邮路问题.针对测试序列的特点,利用Edmonds-Johnson算法和LINGO建模工具对中国邮路问题进行求解,即通过构造容...     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...