基于有色Petri网的GNSS列车定位系统安全性评估方法和系统

一种基于全球导航卫星系统（Global Navigation Satellite System，GNSS）的列车定位系统（简称“GNSS列车定位系统”）安全性评估方法，旨在提升基于GNSS列车定位的列车运行控制系统在复杂环境下的运行安全水平。该方法针对GNSS列车定位系统，采用有色Petri网建模工具构建模块化和层次化的结构模型，包括数据获取与干扰注入模块、数据融合模块、地图匹配模块和安全性能评估模块。综合位置误差、保护水平与报警限值等指标，构建系统安全性判别机制。通过对多种典型运行场景的仿真分析，可输出系统在干扰条件下的运行安全状态和误差演化趋势。本发明实现了对GNSS列车定位系统的全过程形式化建模与安全性评估，具备良好的通用性、可视化性与工程适应性，适用于高安全需求的铁路列车运行控制系统。