[1]赵洪军.轨道交通列车运行控制系统研发集成企业质量成本管理概述[J].铁路通信信号工程技术,2020,17(10):93-98.
Zhao Hongjun. Overview of Quality Cost Management of Enterprise for Development and Integration of Rail Operation Control System[J]. Railway Signalling & Communication Engineering, 2020, 17(10): 93-98.
[2] Butler RW. What is Formal Methods? [OL]. Washington, United States: NASA,2021(2021-01-20)[2022-03-01]. http://shemesh.larc.nasa.gov/fm/fm-what.html.
[3] Leuschel M, Falampin J, Fritz F, et al. Automated Property Verification for Large Scale B Models with ProB[J]. Formal Aspects of Computing, 2011, 23(6): 683-709.
[4] Hansen D, Schneider D, Leuschel M. Using B and ProB for Data Validation Projects[M]//Lecture Notes in Computer Science. Cham:Springer International Publishing, 2016: 167-182.
[5] Leuschel M, Butler M. ProB: an Automated Analysis Toolset for the B Method[J]. International Journal on Software Tools for Technology Transfer, 2008, 10(2): 185-203.
[6] Iliasov A, Romanovsky A. SafeCap Domain Language for Reasoning about Safety and Capacity[C]//2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability. November 18-19, 2012, Niigata, Japan: IEEE, 2012:1-10.
[7] Stankaitis P, Iliasov A.Safety Verification of Modern Railway Signalling with the SafeCap Platform[C]//2017 IEEE International Symposium on Software Reliability Engineering Workshops.October 23-26, 2017, Toulouse, France: IEEE, 2017: 153-156.
[8] Iliasov A, Taylor D, Laibinis L, et al. Formal Verification of Signalling Programs with SafeCap[C]//Computer Safety, Reliability, and Security, 2018, Västerås, Sweden: Springer, 2018: 91-106.
[9]张紫菡.CTCS-1级列控系统线路数据的生成及验证方法的研究[D].北京:北京交通大学,2020.
[10]姚文华,侯锡立,贾云光,等.有轨电车信号控制系统技术方案[J].铁路通信信号工程技术,2021,18(4):59-63.
Yao Wenhua, Hou Xili, Jia Yunguang, et al. Technological Scheme of Signalling Control System for Tram[J]. Railway Signalling & Communication Engineering, 2021, 18(4): 59-63.
[11]温业中,黄仁欢,杨建华,等.有轨信号控制系统的研究与实现[J].铁路通信信号工程技术,2019,16(3):51-55.
Wen Yezhong, Huang Renhuan, Yang Jianhua, et al. Research and Implementation of Tram Signal Control System[J]. Railway Signalling & Communication Engineering, 2019, 16(3): 51-55.
[12] Abrial J R, Hoare A, Chapron P. The B-Book[M].Cambridge: Cambridge University Press, 1996.
[13] Kumar V.Algorithms for Constraint-Satisfaction Problems: a Survey[J]. AI Magazine, 1992, 13(1): 32-44.
|