Description of route dependencies for computer-based railway signalling systems

• Autorzy: Grzybowski Michał , Młyńczak Jakub , Sokołowska Lucyna

Identyfikatory

DOI

10.61089/aot2024.m9zn5n16

• Języki publikacji: EN

Abstrakty

EN

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 inter-locking 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.

Słowa kluczowe

EN

rail transport safety; railway signalling; route preparation; route dependencies; interlocking

PL

bezpieczeństwo transportu kolejowego; sygnalizacja kolejowa; przygotowanie trasy przejazdu; blokada

• Wydawca: Warsaw University of Technology, Faculty of Transport
• Czasopismo: Archives of Transport
• Rocznik: 2024
• Tom: Vol. 72, iss. 4
• Strony: 167--180
• Opis fizyczny: Bibliogr. 32 poz., rys., tab.

Twórcy

autor

Grzybowski Michał

• Silesian University of Technology, Faculty of Transport and Aviation Engineering, Katowice, Poland

• https://orcid.org/0000-0002-4841-147X

autor

Młyńczak Jakub

• Silesian University of Technology, Faculty of Transport and Aviation Engineering, Katowice, Poland

• https://orcid.org/0000-0003-2947-7980

autor

Sokołowska Lucyna

• Railway Research Institute IK, Warsaw, Poland

• https://orcid.org/0000-0002-0699-4312

Bibliografia

• 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: 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. 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. 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. 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. 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. https://doi.org/10.1109/ICITE50838.2020.9231438.
• 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. 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. 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. https://doi.org/10.1109/TDSC.2022.3141555
• 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. 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. 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. Mirabadi, A., Yazdi, M. (2009). Automatic generation and verification of railway interlocking control tables using FSM and NuSMV. Transport Problems 4(3), 103-110.
• 21. PKP PLK (2019). Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym Ie-4, Publisher: Warsaw, Poland.
• 22. Ristic, I. (2023). Automated development of railway signalling control tables: A case study from Serbia. Mechatronics and Intelligent Transportation Systems 2(4); 227-235. https://doi.org/10.56578/mits020404.
• 23. 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. https://doi.org/10.1201/9781003337485-2.
• 24. 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. https://doi.org/10.1109/ICIEAM.2018.8728662
• 25. Stránský, M. (2020). Scheme Plan of Poznań PoD (Poznań Jeżyce) junction, P244 PW SRK 02, AŽD Praha.
• 26. Such, W.H. (1956). Mechanical and Electrical Interlocking (British Practice); Publisher: The Institution of Railway Signal Engineers, England.
• 27. 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.
• 28. van Vlijmen, SFM., Groote, JF., Koorn, JWC. (1999). The Vital Processor Interlocking. Electronic Notes in Theoretical Computer Science 21, 1-56.
• 29. 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. https://doi.org/10.1016/j.cie.2013.09.019.
• 30. Wontorski, P., Kochan, A. (2020). Komputerowe systemy kierowania i sterowania ruchem kolejowym. Część 1: funkcje, elementy i układy, 1st ed.; Publisher: Warsaw, Poland.
• 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.

Uwagi

Opracowanie rekordu ze środków MNiSW, umowa nr POPUL/SP/0154/2024/02 w ramach programu "Społeczna odpowiedzialność nauki II" - moduł: Popularyzacja nauki (2025)