基于 UPPAAL-TRON 的高速铁路列控系统非确定性时延一致性测试研究

• 作者: 吕继东 唐涛 朱晓琳 李开成 王海峰
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: 列控系统 非确定性时延 一致性测试 UPPAAL-TRON RBC 切换
• 年，卷（期）: 2016,（1）
• 所属期刊栏目: 铁道通信信号
• 页码范围: 54-64
• 页数: 11页
• 分类号: U283
• 字数: 9660字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-8360.2016.01.009

摘要

高速铁路列车运行控制系统是一个典型的实时系统，如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中，然而，随着系统复杂度的提高，物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入“在线测试”的概念，利用时间自动机理论对典型场景车载设备的 RBC 切换过程建模，并定义可观测消息通道将该模型划分为环境和设备两部分，从而借助工具 UPPAAL-TRON“边生成边执行”测试用例，找出了在非确定性时延下，仿真 RBC 测试模型与测试需求中不一致的地方。并通过改进测试模型中 RBC 处理占用参数的设置，实现对 RBC 切换过程中跨界传递联锁消息时延非确定性的一致性测试。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐涛	北京交通大学轨道交通运行控制系统国家工程研究中心	152	2578	27.0	40.0
2	李开成	北京交通大学轨道交通运行控制系统国家工程研究中心	49	532	14.0	21.0
3	吕继东	北京交通大学轨道交通运行控制系统国家工程研究中心	25	310	9.0	17.0
4	王海峰	北京交通大学轨道交通运行控制系统国家工程研究中心	31	313	10.0	17.0
5	朱晓琳	中国铁道科学研究院通信信号研究所	4	27	2.0	4.0