基于UPPAAL的CBTC系统数据验证：方法、模型与实践

一、引言

1.1研究背景

1.1.1CBTC系统的重要性与发展

城市轨道交通作为现代城市交通体系的重要组成部分，承担着缓解城市交通拥堵、提高居民出行效率的关键任务。随着城市化进程的加速，城市人口不断增长，对轨道交通的需求也日益旺盛。CBTC（Communication-BasedTrainControl）系统，即基于通信的列车控制系统，在城市轨道交通中占据着核心地位。它利用先进的通信技术，实现列车与地面控制设备之间的实时、双向通信，能够精确地控制列车的运行，极大地提高了轨道交通的运营效率和安全性。

CBTC系统起源于2