Design of Interlocking Translator Software Oriented to Formal Verification
Wang Shaoxin1, 3, Wang Yanqin2, Yan Lianshan3
1. CASCO Signal (Chengdu) Ltd., Chengdu 610083, China;
2. CASCO Signal Ltd., Shanghai 200071, China;
3. College of Information Science and Technology, Southwest Jiaotong University, Chengdu 611756, China
Wang Shaoxin, Wang Yanqin, Yan Lianshan. Design of Interlocking Translator Software Oriented to Formal Verification[J]. Railway Signalling & Communication Engineering, 2022, 19(2): 18-23,42.
[1]Yaron Minsky,Anil Madhavapeddy,Jason Hickey.Real World Ocaml(中文版)[M].苏金国,彭小姣,译.北京:中国电力出版社,2015.
[2]崔惠珊,张路,刘亚磊,等.城市轨道交通计算机联锁实训系统设计与实现[J].铁路通信信号工程技术,2019,16(6):73-77.
Cui Huishan, Zhang Lu, Liu Yalei, et al. Design and Implementation of Computer Based Interlocking Training System of Urban Rail Transit[J]. Railway Signalling & Communication Engineering, 2019, 16(6): 73-77.
[3]孙晓光.一种联锁图表自动生成软件研究与设计[J].铁路通信信号工程技术,2021,18(6):1-6.
Sun Xiaoguang. Research and Design of Software for Automatic Generation of Interlocking Charts[J]. Railway Signalling & Communication Engineering, 2021, 18(6): 1-6.
[4]田文军.信号计算机联锁系统安全性可靠性分析[J].铁路通信信号工程技术,2013,10(6):32-35.
Tian Wenjun. Analysis of Safety and Reliability of Computer Interlocking System[J]. Railway Signalling & Communication Engineering, 2013, 10(6): 32-35.
[5]付立民.全电子联锁开发和应用研究[J].铁路通信信号工程技术,2020,17(3):32-38.
Fu Limin. Research on Development and Application of Full Electronic Interlocking[J].Railway Signalling & Communication Engineering, 2020, 17(3): 32-38.
[6]罗娟,王燕芩.形式化方法应用于计算机联锁软件的安全验证研究[J].铁路计算机应用,2016,25(11):53-57.
Luo Juan, Wang Yanqin. Formal Method Applied to Safety Verifi Cation for Computer Interlocking Software[J]. Railway Computer Application, 2016, 25(11): 53-57.
[7]谢雨飞,唐涛,徐田华,等.CTCS-3级列控系统规范的建模与形式化验证方法研究[J].铁道学报,2011,33(7):67-72.
Xie Yufei, Tang Tao, Xu Tianhua, et al. Research on Method of Modeling and Formal Verifi cation of the CTCS-3 Train Control System Specification[J]. Journal of the China Railway Society, 2011, 33(7): 67-72.
[8]陈钢,于林宇,裘宗燕,等.基于逻辑的形式化验证方法:进展及应用[J].北京大学学报(自然科学版),2016,52(2):363-373.
Chen Gang, Yu Linyu, Qiu Zongyan, et al. Logic Based Formal Verification Methods:Progress and Applications[J]. Acta Scientiarum Naturalium Universitatis Pekinensis, 2016, 52(2): 363-373.
[9]李勇,曹子宁.基于需求的形式化建模与验证方法研究[J].计算机技术与发展,2017,27(6):7-10.
Li Yong, Cao Zining. Investigation on Formal Modeling and Verification Method Based on Specification[J]. Computer Technology and Development, 2017, 27(6): 7-10.