Description of route dependencies for computer-based railway signalling systems

Michał Grzybowski; Jakub Młyńczak; Lucyna Sokołowska

doi:10.61089/aot2024.m9zn5n16

Authors

Michał Grzybowski Silesian University of Technology Author https://orcid.org/0000-0002-4841-147X
dr hab. inż. Jakub Młyńczak Silesian University of Technolgy Author https://orcid.org/0000-0003-2947-7980
dr inż. Lucyna Sokołowska Railway Research Institute IK Author https://orcid.org/0000-0002-0699-4312

DOI:

https://doi.org/10.61089/aot2024.m9zn5n16

Keywords:

railway signalling, route dependencies, interlocking

Abstract

Efficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies. A significant fraction of dependencies is related to route setting, i.e., preparation of train travel through the specified running paths. The use of computer technology in modern systems allows for greater functionality and smaller physical devices dimension than older types of systems. This results in increased complexity of track layout and increased area of a single interlocking. Systems with considerable number of routes, over a thousand are becoming increasingly common. The research is concerned with the problem of describing route dependencies in computer-based interlocking configuration. During the research existing solutions have been analyzed and a method of describing route dependencies based on requirements of PKP PLK has been proposed. The proposed solution has been verified by functional testing of prototype interlocking. During the research, a formalism for describing the route has been devised, which allows for dependency realization by track layout independent computer program. In addition, during research algorithms for automatic verification of conflicting route exclusion correctness have been designed, which allows for reduction of effort required for verification of conflicting route exclusion function. The proposed method of describing route dependencies allows for simplification of interlocking design and for automation of application data preparation. The method of implementing dependencies also allows for automation of conflicting route exclusion function verification, which decreased the effort required for verification activities while maintaining the high-quality standards.

References

1. Amendola, A., Becchi, A., Cavada, R., Cimatti, A., Ferrando, A., Pilati, L., Scaglione, G., Tacchella, A., Zamboni, M. (2022). NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems. In: Tools and Algorithms for the Construction and Analysis of Systems, Publisher: Springer; 125–142. DOI:

https://doi.org/10.1007/978-3-030-99524-9_7

2. Bădău, F. (2022). Railway Interlockings – A Review of the Current State of Railway Safety Technology in Europe. Promet – Traffic&Transportation 34, 443–454. DOI: https://doi.org/10.7307/ptt.v34i3.3992

3. Chandaluri, R., Nelakuditi, U.R. (2024). Performance evaluation of electro-mechanical railway interlocking system for digital twin application. Computers and Electrical Engineering 116, 109225. DOI: https://doi.org/10.1016/j.compeleceng.2024.109225

4. Cribbens, A.H. (1987). Microprocessors in railway signalling: the Solid-State Interlocking. Microprocessors and Microsystems 11, 264–272.

5. Dąbrowa-Bajon, M. (2014). Podstawy sterowania ruchem kolejowym, 3rd ed.; Publisher: Warsaw, Poland.

6. Das, A., Gangwar, M.J., Ghosh, D., Mandal, C., Sengupta, A., Waris, M.M. (2021). Automatic Generation of Route Control Chart From Validated Signal Interlocking Plan. IEEE Transactions on Intelligent Transportation Systems 22(10), 6516–6525. DOI: https://doi.org/10.1109/TITS.2020.2993794

7. Grzybowski, M., Młyńczak, J. (2021). Reprezentacja wykluczeń w komputerowych systemach srk. In Zagadnienia Inżynierii Transportu i Mechaniki; Perzyński, T., Eds.; 47–54; Publisher: Uniwersytet Technologiczno-Humanistyczny im. Kazimierza Pułaskiego w Radomiu, Radom.

8. Hagelin, G. (1998). ERICSSON Safety System for Railway Control. In Software Diversity in Computerized Control Systems, Springer.

9. Haxthausen, A.E., Fantechi, A. (2023). Compositional Verification of Railway Interlocking Systems. Formal Aspects of Computing 35(1), 4:1–4:46. DOI: https://doi.org/10.1145/3549736

10. Huang, L. (2020). The Past, Present and Future of Railway Interlocking System. In IEEE 5th International Conference on Intelligent Transportation Engineering, 170–174, Beijing, China.

11. Ikram, A., Amghar, M., Eleuldj, M. (2022). Distributed Architecture for Interoperable Signaling Interlocking. In: Networking, Intelligent Systems and Security, Publisher: Springer, Singapore; , 215–230. DOI: https://doi.org/10.1007/978-981-16-3637-0_15

12. Ikram, A., Eleuldj, M., Amghar, M. (2023). Services interfaces for interoperability of signaling computer interlocking on border. International Journal of Electrical and Computer Engineering 13(3), 2640–2651. DOI: https://doi.org/10.11591/ijece.v13i3.pp2640-2651

13. Iliasov, A., Taylor, D., Laibinis, L., Romanovsky, A. (2023). Practical Verification of Railway Signalling Programs. IEEE Transactions on Dependable and Secure Computing 20(1), 695–707.

14. Jurczak, M. (2011). Structure of interlocking table. Archives of Transport System Telematics 4(2), 18–24.

15. Jurczak, M., Młyńczak, J. (2021). Method for automation of generation interlocking tables for station traffic control devices. WUT Journal of Transportation Engineering 131; 45–58. DOI: https://doi.org/10.5604/01.3001.0014.8100

16. Kuang, J., He, T. (2022). Research on automatic test sequence generation method of computer interlocking test. Journal of Physics: Conference Series 2246, 012072. DOI: https://doi.org/10.1088/1742-6596/2246/1/012072

17. Lutovac, D., Lutovac, T. (1998). Towards an universal computer interlocking system. FACTA UNIVERSITATIS (NIŠ) 11(1), 25–49.

18. Maciejewski, M. (2009). Zróżnicowanie struktur komputerowych urządzeń zależnościowych. Zeszyty naukowo-techniczne SITK RP, oddział w Krakowie 149, 249–261.

19. Maciejewski, M., Zabłocki, W. (2010). Metoda tworzenia funkcji równań zależnościowych w systemach SRK. Logistyka 4.

20. Mikulski, A. (1988). Mechaniczne urządzenia zabezpieczania ruchu kolejowego, 6th ed.; Publisher: Warsaw, Poland

21. Mirabadi, A., Yazdi, M. (2009). Automatic generation and verification of railway interlocking control tables using FSM and NuSMV. Transport Problems 4(3), 103–110.

22. PKP PLK (2019). Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym Ie-4, Publisher: Warsaw, Poland.

23. Ristic, I. (2023). Automated development of railway signalling control tables: A case study from Serbia. Mechatronics and Intelligent Transportation Systems 2(4); 227–235. DOI: https://doi.org/10.56578/mits020404

24. Scippacercola, F., Zentai, A., Russo, S. (2022). Experiencing Model-Driven Engineering for Railway Interlocking Systems. In: Certifications of Critical Systems – The CECRIS Experience, Publisher: River Publishers, New York; 31–63. DOI: https://doi.org/10.1201/9781003337485-2

25. Sedykh, D., Gordon, M., Efanov, D. (2018). Computer-Aided Design of Railway Signalling Systems in Russian Federation. In 2018 International Conference on Industrial Engineering, Applications, and Manufacturing (ICIEAM), 1–7, Moscow, Russia. DOI: https://doi.org/10.1109/ICIEAM.2018.8728662

26. Stránský, M. (2020). Scheme Plan of Poznań PoD (Poznań Jeżyce) junction, P244 PW SRK 02, AŽD Praha

27. Such, W.H. (1956). Mechanical and Electrical Interlocking (British Practice); Publisher: The Institution of Railway Signal Engineers, England.

28. Szeniawski, Z., Makała, J. (1989). Album schematów przekaźnikowych urządzeń zabezpieczenia ruchu kolejowego typu E; Publisher: Centralne Biuro Projektowo-Badawcze Budownictwa Kolejowego.

29. van Vlijmen, SFM., Groote, JF., Koorn, JWC. (1999). The Vital Processor Interlocking. Electronic Notes in Theoretical Computer Science 21, 1–56.

30. Wang, D., Chen, X., Huang, H. (2013). A graph theory-based approach to route location in railway interlocking. Computers & Industrial Engineering 66(4), 791–799.

31. Zabłocki, W. (2009). Synteza funkcji zależnościowych stacyjnego systemu srk. Zeszyty naukowo-techniczne SITK RP, oddział w Krakowie 149, 523–261.

32. Zabłocki, W. (2014). Zagadnienie sprzeczności i wykluczeń specjalnych w technice srk. Zeszyty naukowo-techniczne SITK RP, oddział w Krakowie 2(104), 399–406.