基于UML顺序图与UPPAAL的 列车追踪模块建模研究

• 作者: 杨璐 王栋 陈永刚
• 来源期刊: 测试科学与仪器
• 学科: 交通运输
• 关键词: 列车追踪 CBTC系统 区域控制器 时间自动机 UPPAAL
• 年，卷（期）: 2019,（2）
• 页码范围: 157-167
• 页数: 11页
• 分类号: U283.2
• 字数: 849字
• 语种: 英文
• DOI: 10.3969/j.issn.1674-8042.2019.02.008

摘要

区域控制器(zone controller,ZC)是一个实时复杂系统,它要求过程控制的准确性.列车追踪场景是城市轨道交通(communication based train control,CBTC)系统中ZC的一个重要功能.在对系统进行深层次的开发设计过程中需要对系统进行建模、仿真和验证,发现系统设计缺陷,以保证系统的安全性.通过分析ZC系统结构及列车追踪分界点处理过程,给出满足系统安全性的功能要求和性能要求,并采用统一建模语言(unified modeling language,UML)与时间自动机相结合的方式建立列车追踪场景中列车筛选和列车追踪分界点的时间自动机网络模型.同时,应用UPPAAL验证工具对系统进行仿真模拟,验证了系统的功能和性能要求.结果表明,列车追踪分界点功能满足系统安全性和受限活性的规范要求.因此,此种建模方法是可行的,可以将其应用于列控系统其他场景的建模与验证过程中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈永刚	兰州交通大学自动化与电气工程学院	50	213	8.0	11.0
2	王栋	兰州交通大学机电工程学院	6	9	2.0	2.0
3	杨璐	兰州交通大学自动化与电气工程学院	3	4	1.0	2.0