基于车车通信的列控系统移动授权功能建模与验证  

作　　者：陈燕[1] 

机构地区：[1]福州职业技术学院交通工程系,福建福州350000

出　　处：《装备制造技术》2023年第9期59-61,共3页Equipment Manufacturing Technology

基　　金：福州职业技术学院2021年学校科研项目(科技类)项目(FZYKJJJYB202102)。

摘　　要：列车控制系统是保证列车安全、高效、舒适运行的关键系统之一,基于车车通信的列控系统实现了列车之间的直接通信,列车可直接获取其他列车的运行状态信息而无需经轨旁转发,正因为如此,可以将部分地面设备功能转移到了车载,例如实现列车自主计算移动授权的功能,降低了移动授权更新时延,提高了运营效率。作为新一代列控系统,在考虑性能提升的同时也要注意系统的运行可靠性,是否存在安全漏洞,所以必须要进行建模与仿真验证,提前发现系统设计缺陷并及时改进,保证系统的功能性和安全性。通过分析基于车车通信的列控系统移动授权生成原理和流程,采用有色Petri网工具,基于分层建模的思想,根据障碍物类型,分别建立顶层模型和静态障碍物、动态障碍物仿真模型,利用CPN Tools工具完成模型的空间、有界性及性质报告,得出列车车载计算移动授权功能模型满足可达性、有界性、公平性、活性的要求,该模型在基于车车通信的列控系统中合理且有效,为基于车车通信的列控系统的分析提供参考。

关 键 词：车车通信 有色PETRI网 移动授权 形式化建模 

分 类 号：U284.4[交通运输工程—交通信息工程及控制]