摘要: 提出基于形式化验证的FAO系统在线危险预测技术。利用形式化方法可信检验FAO系统的运行时行为,预测可能出现的列车运行危险,以实现FAO系统的实验室安全性验证。基于混成自动机建立列车运行控制模型,结合线路数据以及车载运行状态,计算列车运行可达集,实现对危险的预测。以北京燕房线FAO为例,设计运行时验证系统,通过仿真试验验证在线危险预测技术具有可行性。
中图分类号:
杨艳艳, 王 祺, 柴 铭. 基于形式化方法的城轨FAO系统在线危险预测技术[J]. 铁路通信信号工程技术, 2021, 18(6): 76-81.
Yang Yanyan, Wang Qi, Chai Ming. Online Hazard Prediction of FAO Based on Formal Verification[J]. Railway Signalling & Communication Engineering, 2021, 18(6): 76-81.