ATP安全监测网络

在线定量评估

将概率模型校验与神经网络结合，摆脱状态空间爆炸限制，实现对ATP系统在线定量安全监测。

Cheng, Yu · 刘金朝 · Xinliang, Jiang · Du, Xinyu · Cheng, Ruijun

Journal of Supercomputing 2024

技术优势

摆脱状态爆炸

用神经网络替代穷举搜索，避免验证算法内存溢出，使大规模系统可验证。

在线监控

将离线验证结果训练为神经网络，实现在线定量安全监控，无需实时形式化验证。

定量边界

通过设计算法计算所有定量安全等级的定量安全边界（QSB），为在线评估提供基准。

应用场景

• 列车运行安全监控：实时评估列车运行安全等级，避免传统验证的离线时延。
• 铁路信号系统：将形式化验证扩展到实际ATP系统，支持在线安全监控。