1、隨著軌道交通行業(yè)的快速發(fā)展，國內外都在開展新一代列控系統(tǒng)的研發(fā)工作，以對傳統(tǒng)列控系統(tǒng)進行結構優(yōu)化與功能升級?；谲囓囃ㄐ诺牧锌叵到y(tǒng)是面向城市軌道交通新一代列控系統(tǒng)的典型代表，它以車車通信為基礎，通過對列控功能的再分配，減少了軌旁設備數量，優(yōu)化了系統(tǒng)結構，降低了全生命周期成本，提高了系統(tǒng)的可靠性?；谲囓囃ㄐ诺牧锌叵到y(tǒng)由地面子系統(tǒng)和車載子系統(tǒng)組成，本文主要圍繞車載子系統(tǒng)的車車通信模塊、行車許可計算模塊和速度防護模塊三大核心功能開展，具體工

2、作如下:
　　(1)對基于車車通信的列控系統(tǒng)基本原理和車載子系統(tǒng)的功能需求進行了分析，重點分析了車載子系統(tǒng)在增加了車車通信模塊、行車許可計算模塊后各功能模塊間的信息交互。
　　(2)以有色Petri網理論和CPN Tools建模工具為基礎，對基于車車通信的列控系統(tǒng)車載子系統(tǒng)進行了形式化建模與驗證。建立了列車與地面列車管理單元建立通信模型、多車之間的車車通信模型、行車許可計算模型和速度防護模型等，驗證了基于車車通信的列控系統(tǒng)車