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

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