CTCS-2级与CTCS-3级列控系统兼容性仿真研究

CTCS-2级和CTCS-3级列控系统的兼容性问题包括应答器设置、级问切换、降级过程和临时限速的传迟执行.本文重点研究了CTCS-2级列控系统和CTCS-3级列控系统应答器设置和降级切换过程.并利用HLA建立了兼容性测试模型,使用数据驱动的方法设计了兼容性测试案例.     

简谈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实现了功能特征、参考需求、测试步骤等元素的集成，编写的测试案例是合理的。     

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

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

CTCS-3级列控系统无线闭塞中心功能需求研究

本文重点研究CTCS-3级列控系统无线闭塞中心(RBC)的功能需求及外部接口等.通过对CTCS-3级列控系统系统需求规范进行深入分析,得出RBC应具有的主要功能.在仿真平台中实际应用表明,本文所述的RBC功能需求、信忽流及外部接口等能够满足CTCS-3级列控系统仿真测试平台建设需求.     

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

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

基于变异模型的CTCS-3级列控系统测试用例自动生成方法研究

本文提出一种基于变异模型的CTCS-3级列控系统测试用例自动生成方法。根据列控系统需求规范,建立它的SMV（Symbolic Model Verifier）模型,对此模型进行变异,将变异之后的模型输入到模型检验器SMV中,利用模型检验生成反例的技术,自动生成测试用例,提高了测试用例的生成效率。并以CTCS-3级列控系统的无线闭塞中心（RBC）切换场景为例,验证了该方法的有效性。     

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

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

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

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

CTCS－3级列控系统测试案例生成方法的研究

CTCS-3级列控系统是保障铁路行车安全、提高运输效率的重要设备,上道运用前必须在实验室和现场分别进行功能测试,建立CTCS-3级列控系统测试案例库对CTCS-3级列控系统的功能测试具有非常重要的意义。分析了系统需求规范、功能特征和测试案例之间的关系,研究了从系统需求规范和总体技术方案提取功能特征的方法和测试案例的生成方法。     

基于案例推理的测试序列生成方法研究

鉴于测试序列生成专家系统知识获取困难以及知识库维护不易等问题,本文提出从案例推理技术的新角度研究CTCS-3级列控系统测试序列的生成.设计了测试序列案例推理流程;提取了现场测试序列特征属性并构建了案例的框架表示结构;为实现案例检索,设计了属性相似度计算方法、确定案例属性权重的层次分析法、案例间相似度计算方法和案例检索过程;给出一个测试序列生成的具体流程.基于案例推理的研究方法为CTCS-3级列控系统测试序列的生成提供了一个新的思路.     

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

<正>1CTCS-3级列控系统概述1.1CTCS-3级列控系统框架CTCS-3级列控系统(见图1)是基于GSM-R无线通信实现车-地信息双向传输、无线闭塞中心(RBC)生成行车许可的列车运行控制系统[1],是我国时速300～350km     

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

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

基于控制关系模型的CTCS-3级列控系统功能安全分析方法

本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。     

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

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

基于Multi-Agent的列控系统复杂运营场景建模与仿真方法研究

针对高铁列控系统的并发性、混成性、交互性等特点,基于列控系统技术规范,结合Multi-Agent理论、Prometheus建模方法以及仿真技术,提出基于Multi-Agent的高铁列控系统复杂运营场景建模与仿真方法。最后,以CTCS-3级列控系统的RBC切换场景为例,构建基于Multi-Agent的RBC切换场景模型,并利用Multi-Agent仿真工具对模型进行仿真。仿真结果表明,该方法能够满足列控系统并发、混成、交互的复杂特性,可为列控系统复杂运营场景建模仿真与安全分析提供技术支撑。     

基于UML的CTCS-3级列控系统运营场景分析方法研究及应用

CTCS-3级列控系统是典型的安全苛求系统,而对于安全苛求系统来说,系统需求规范中的安全隐患是最致命的。CTCS-3级列控系统的需求规范由14个运营场景来描述,因而以运营场景为单位,对规范进行分析与研究是合理的,并且是必要的。以UML和CSP为基础,提出一套适用于CTCS-3级列控系统运营场景的分析和验证方法,并以＂RBC切换＂场景为例,运用该方法分析了其活性、死锁、活锁、确定性和部分安全性。     

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。     

基于场景法的列控系统等级转换功能测试用例设计

为了改善当前列控系统等级转换功能测试用例覆盖不全面的问题,以CTCS-2级转CTCS-3级功能为研究对象,采用场景法分析转换逻辑,设计测试用例。首先,分析CTCS-2级转CTCS-3级的功能逻辑;然后,介绍场景法设计测试用例的过程及基本流和备选流划分原则;最后,采用场景法对CTCS-2级转CTCS-3级过程中的基本流和备选流进行划分,确定基本流和备选流有向图,设计测试用例。结果表明,该方法设计的测试用例能够提高列控系统功能性和安全性测试的完备性,从而保障列控系统产品的质量。     

基于仿真平台的列控系统自动测试研究

CTCS-3级列控系统仿真测试是一项非常耗时的工程,恰当的测试方法可以最大限度地提高测试效率,并尽快找到解决问题的对策。在建设国家高速列控系统实验室基础上,提出基于仿真平台的列控系统自动测试方案,通过列控系统功能测试中案例判断与故障诊断的专家系统,给出测试案例执行结果及分类、测试案例故障原因及对策。