Modeling and realization of railway station computer interlocking system
Shi Yihan1,2, Xu Jie1,2, Zheng Jianwu3
1. School of Traffic and Transportation, Beijing Jiaotong University, Beijing 100044; 2. State Key Laboratory of Rail Traffic Control and Safety, Beijing 100044; 3. School of Traffic and Transportation, Shijiazhuang Tiedao University, Shijiazhuang 050043
Abstract：The railway computer interlocking system monitors the relevant equipment of the route in real time and completes the route control, which is the premise of the technical operation automation of the station train. In order to ensure the safety and reliability of the computer interlocking system, the station interlocking system is modeled based on the object-oriented idea, and then the instantiation of route control is realized. First of all, based on object-oriented technology, this paper analyzes the attribute of station interlocking equipment and system operation mechanism. On this basis, the route requirements of different station technical operations are analyzed, and UML is used to describe the key station interlocking equipment, the interlocking relationship between the equipment, the logic of station route control service, and the matching relationship with the route. Finally, Python language is used to realize the key service that automate the station route control to meet the goal of computer interlocking automation such as status of station equipment, service constraints and efficiency requirements.
 张云丽, 雷定猷. 铁路通信与信号[M]. 长沙: 中南大学出版社, 2013.  谢保锋. 车站计算机联锁系统的现状与发展[J]. 交通运输系统工程与信息, 2004, 4(4): 86-90.  王峰. 铁路车站计算机联锁系统若干技术的探讨[D]. 南京: 南京工业大学, 2005.  Rástočný K, Janota A, Zahradník J.The use of UML for development of a railway interlocking system[J]. Lecture Notes in Computer Science, 2004(3147): 174-198.  TB/T3027—2015. 铁路车站计算机联锁技术条件[S].  Mecitoğlu F, Söylemez M T.A UML modelling approach for a railway signalization system simulator and SCADA system[J]. IFAC Proceedings Volumous, 2013, 46(25): 77-82.  耿枢馨, 姜惠峰. 欧洲的数字化铁路发展[J]. 综合运输, 2017, 39(10): 31-34, 75.  Cappart, Q, Limbrée C, Schaus P, et al. Verification of interlocking systems using statistical model checking[C]// IEEE 18th International Symposium on High Assurance System Engineering, 2017: 61-68.