CTCS-3级列控车载设备实验室互联互通测试方法

研究CTCS-3级列控系统互联互通的实际需求,确定车载设备互联互通测试的基本原则;然后针对适用于CTCS-3级车载设备互联互通测试的体系和方法进行研究,分析了CTCS-3级列控系统车载设备互联互通测试平台的结构及功能划分。研究实际开展的车载设备互联互通测试工作,介绍车载设备互联互通测试序列的生成方法,互联互通测试执行的过程,最后对互联互通测试的结果进行总结,提出车载设备互联互通测试结果的管理方法。     

上海动车段试验线列控车载设备测试系统

主要介绍上海动车段试验线车载设备测试系统的功能、系统组成、控制原理及主要控制流程,举例介绍测试场景及测试方法,系统满足CTCS-2级列控系统车载设备动态测试功能需求,预留CTCS-3级列控系统车载设备动态测试条件。     

自主化CTCS-3级列控系统车载设备测试方法研究

以自主化CTCS-3级列控系统车载设备为研究对象,基于自主化车载设备仿真测试环境,对系统测试过程中的测试案例、测试序列及测试脚本的设计方法进行研究,并结合具体实例对测试场景进行介绍。采用该系统测试方法已完成对自主化CTCS-3级列控车载多轮全功能系统的测试,可提高自主化车载设备现场应用的安全性和可靠性。     

基于CRCCTst的CTCS-3级列控系统测试方法研究

依据CTCS-3级列控系统技术规范,研究基于CRCCTst的CTCS-3级列控系统测试方法。以《CTCS-3级列控车载设备补充技术规范(暂行)》为例,选取部分功能需求为依据,以ATP车载设备为被测对象,编写符合规范场景的测试案例并运行测试序列,对被测设备进行测试,验证了基于CRCCTst的CTCS-3级列控系统测试方法的可用性。     

基于HUML扩展机制描述列控系统安全特性的研究

针对在列控系统建模和形式化分析领域UML模型难以直接描述系统安全特性的问题,提出一种利用UML支持的底层扩展机制对HUML进行面向列控系统安全特性的扩展方法。该方法给出列控系统安全特性需求,通过在HUML元模型中增加安全特性包,对安全特性元素进行定义,创建安全相关概要文件,并在建模软件中得到实现,最后介绍该方法在CTCS-3级列控车载设备故障方面应用的一个实例。新的建模方法丰富了列控系统HUML模型的表达能力和应用范围,使得列控系统安全特性能够直接被描述,从而将安全分析的起点提前至系统建模阶段,为列控系统建模和形式化分析提供一条新的思路和途径。     

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

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

中国铁道科学研究院2016年度科技成果简介(续二)

10 CTCS-3级自主化ATP车载设备和RBC测试大纲 为了对通号设计院、铁科院及北京和利时公司研发的自主化CTCS-3级ATP和RBC设备进行测试,依据《CTCS-3级列控系统总体技术方案》和《CTCS-3级列控系统测试案例》等相关技术规范,制定了《CTCS-3级自主化ATP和RBC测试大纲》（简称测试大纲）。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

京沪高铁列控车载设备的运营维护

列车运行控制系统(简称列控系统)是客运专线和高速铁路列车运行的关键技术设备。列控系统主要包含两个方面,一方面为地面控制技术,另一方面为车载控制技术,即通过地面提供信息,车载实现自动控制功能。京沪高铁采用CTCS-3级列控技术,其列控车载设备为CTCS-3级列控车载设备。CTCS-3级基于GSM-R无线传输信息,并采用轨道电路等方式检查列车占用的列车运行控制系统。列控车载设备与其配套的     

简谈CTCS-3级列控车载设备测试序列的生成方法和原则

随着国内对CTCS-3级列控系统的深入研究,对相关的安全产品的测试方法提出更高的要求。探讨适用于CTCS-3级列控车载设备功能测试的测试序列的生成方法和原则,为提高测试效率和实现自动化测试奠定基础。