Online Hazard Prediction of FAO Based on Formal Verification
Yang Yanyan1, Wang Qi2, Chai Ming2, 3
1. Beijing Metro Consultancy Co., Ltd., Beijing 100068, China;
2. School of Electronics and Information Engineering, Beijing Jiaotong University, Beijing 100044, China;
3. National Engineering Research Center of Rail Transportation Operation and Control System, Beijing 100044, China
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.
[1]张艳兵,戴克平.自主化全自动运行系统研究与应用[J].都市快轨交通,2017,30(6):1-6.
Zhang Yanbing, Dai Keping. Research and Application of Independently Developed Fully Automatic Operation System[J]. Urban Rapid Rail Transit, 2017, 30(6):1-6.
[2]宗明,郜春海,何燕.基于CBTC控制的全自动驾驶系统[J].都市快轨交通,2006,19(3):34-36.
Zong Ming, Gao Chunhai, He Yan. Fully Automatic Operation System Based on CBTC[J]. Urban Rapid Rail Transit, 2006, 19(3): 34-36.
[3]康峰.适用于FAO互联互通系统的VOBC远程唤醒通信流程[J].铁路通信信号工程技术,2019,16(9):89-93.
Kang Feng. Communication Process of VOBC Remote Wake-up for Interoperability of FAO System[J]. Railway Signalling & Communication Engineering, 2019, 16(9): 89-93.
[4]张艳兵,王道敏,肖衍.城市轨道交通全自动驾驶的发展与思考[J].铁道运输与经济,2015,37(9):70-74.
Zhang Yanbin, Wang Daomin, Xiao Yan.Development and Thoughts on Full-Automatic Operation of Urban Rail Transit[J]. Railway Transport and Economy, 2015, 37(9): 70-74.
[5] Ming Chai, Bernd-Holger Schlingloff. System Monitoring with A Five-valued LTL[J]. Multiple-Valued Logic and Soft Computing, 2016(26): 33-54.
[6]喻钢,刘晓文,熊静,等.高速铁路列控中心软件安全性需求形式化建模[J].铁道学报,2013,35(7):74-79.
Yu Gang, Liu Xiaowen, Xiong Jing, et al. Formalized Modeling of Safety Requirements of High-Speed Train Control Center Software System[J]. Journal of the China Railway Society, 2013, 35(7): 74-79.
[7]李中浩.城市轨道交通CBTC互联互通发展趋势及建议[J].城市轨道交通研究,2018,21(5):12-15.
Li Zhonghao. Development Trend of Urban Rail Transit CBTC Intercon-Nection/Intercommunication and Some Suggestions[J].Urban Mass Transit, 2018, 21(5): 12-15.
[8]谭力天,陈 昕,李澎东,等.基于统计学模型的CBTC系统ATO停车精度自适应优化算法[J].铁路通信信号工程技术,2020,17(8):78-84.
Tan Litian, Chen Xin, Li Pengdong, et al.Adaptive Optimization Algorithm for ATO Stopping Accuracy of CBTC System Based on Statistical Model[J]. Railway Signalling & Communication Engineering, 2020, 17(8): 78-84.
[9]李晶.城轨全自动驾驶信号系统方案设计及运营场景分析[J].铁道通信信号,2016,52(2):48-52.