原文传递
基于模型的CTCS-3列控系统互联互通测试自动分析方法研究
| 论文题名： | 基于模型的CTCS-3列控系统互联互通测试自动分析方法研究 |
| 关键词： | 列车运行;控制系统;互联互通测试工作;自动分析方法;路径匹配 |
| 摘要： | 为保证CTCS-3列控系统的跨线运营能力，铁道部统一组织互联互通工作，互联互通测试是CTCS-3列控系统实现互联互通工作的前提和基础，铁道部基础部和C3攻关组对互联互通测试的结果进行分析，找出影响互联互通的因素，讨论解决方案，以实现不同厂家的设备互联互通，可以看出保证互联互通测试结果的准确性是十分重要的。 对于目前列控系统互联互通测试存在以下几点问题:①列控系统功能和设备复杂，使用过程中可能需要不断升级，要求测试人员有过硬的专业技术;②测试记录数据量大，数据结构复杂，人工分析会造成效率低下;③由于测试人员的疏忽和失误会造成测试结果不准确的问题。在互联互通测试中对车载设备和地面设备是分开测试的。本文以车载设备第三方实验室互联互通测试为例，研究一种互联互通测试结果自动分析的方法，来解决上述问题。 互联互通测试的关注点为车地之间的数据交互，本文从车载设备与RBC的无线消息交互入手，进行测试结果分析，车地之间每一次消息交互可看成一次系统的状态变迁，这些变迁都是根据测试序列执行得到的，因此本文从测试序列入手，建立了一个基于测试序列的完整的车载设备模型，将测试过程中的可能出现的每个状态点和状态迁移情况都建立到模型中。在实际的测试过程中，对于测试执行路径，必有一条模型中的可达路径与之相匹配。因此可以通过系统状态可达性分析的方法找出该路径，并对该路径中各状态点与状态迁移的信息进行分析即可找出测试过程中导致系统故障的原因。同时根据状态可达路径自动生成的原理，实现测试结果自动分析。 本文选用的建模方法为时间自动机建模方法建立车载设备模型，并通过编程解析时间自动机中的XML文件与实际的测试记录数据来寻找匹配路径，最后通过分析路径中的各个点锁定故障原因。本文主要对如何根据测试序列建立车载设备模型，如何实现路径匹配，以及如何最终实现测试结果自动分析进行详细介绍。 |
| 作者： | 富德佶 |
| 专业： | 交通信息工程及控制 |
| 导师： | 郜春海 |
| 授予学位： | 硕士 |
| 授予学位单位： | 北京交通大学 |
| 学位年度： | 2015 |
| 正文语种： | 中文 |
检索历史
应用推荐
