Modeling operational scenarios for a high-speed signaling system

• Autorzy: Gruba Łukasz , Kochan Andrzej , Kostrzewa Piotr , Irlik Maciej , Dubowski Michał , Folęga Piotr

Identyfikatory

DOI

10.20858/tp.2025.20.2.03

• Języki publikacji: EN

Abstrakty

EN

In railway signaling, operational scenarios are integral to the system modeling process, serving to outline expected use cases and define the behavior of the system, subsystems, and actors within the railway environment. Operational scenarios are a primary source of requirements for developing the train control system and its subsystems. Additionally, the design of operational scenarios can offer invaluable insights for arranging trackside assets and may influence the creation of instructions and operational procedures for railway staff. This article highlights the advantages of defining operational scenarios in the early stages of implementing train control systems based on the European Train Control System application level 2 for high-speed lines. The process of defining and modeling operational scenarios is illustrated by analyzing a selected, representative scenario.

Słowa kluczowe

EN

ETCS; modeling; operational scenarios; signaling; system engineering

PL

ETCS; modelowanie; scenariusze operacyjne; sygnalizacja; inżynieria systemowa

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Transport Problems
• Rocznik: 2025
• Tom: T. 20, z. 2
• Strony: 33--43
• Opis fizyczny: Bibliogr. 18 poz.

Twórcy

autor

Gruba Łukasz

• Warsaw University of Technology, Faculty of Transport; Koszykowa 75, 00-662 Warsaw, Poland

• https://orcid.org/0000-0002-4564-4198

autor

Kochan Andrzej

• Warsaw University of Technology, Faculty of Transport; Koszykowa 75, 00-662 Warsaw, Poland

• https://orcid.org/0000-0002-8183-8926

autor

Kostrzewa Piotr

• Warsaw University of Technology, Faculty of Transport; Koszykowa 75, 00-662 Warsaw, Poland

• https://orcid.org/0009-0001-8849-1523

autor

Irlik Maciej

• Warsaw University of Technology, Faculty of Transport; Koszykowa 75, 00-662 Warsaw, Poland

• https://orcid.org/0000-0001-8212-3327

autor

Dubowski Michał

• Warsaw University of Technology, Faculty of Transport; Koszykowa 75, 00-662 Warsaw, Poland

• https://orcid.org/0009-0000-3833-7950

autor

Folęga Piotr

• Silesian University of Technology, Faculty of Transport and Aviation Engineering; Zygmunta Krasińskiego 8, 40-019 Katowice, Poland

• https://orcid.org/0000-0001-6775-7559

Bibliografia

• 1. Aly, M.H.F. & Hemeda, H. & El-sayed, M.A. Computer applications in railway operation. Alexandria Engineering Journal. 2016. Vol. 55. No. 2. P. 1573-1580. DOI: 10.1016/j.aej.2015.12.028.
• 2. Arcaini, P. & Kofroň, J. & Ježek, P. Validation of the hybrid ERTMS/ETCS level 3 using SPIN. Int. J. Softw. Tools Technol. Transf. 2020. Vol. 22(3). P. 265-279. DOI: 10.1007/s10009-019-00539-x.
• 3. Basile, D. & ter Beek, M.H. & Ferrari, A. & et al. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. Int J Softw Tools Technol Transfer. 2022. Vol. 24. P. 351-370. DOI: 10.1007/s10009-022-00653-3.
• 4. Bundesamt für Verkehr BAV. Schweizerische Eisenbahnen R 300.2. 2020. [In German: Federal Office of Transport (FOT). Swiss Railways].
• 5. Cunha, A. & Macedo, N. & Liu, C. Validating multiple variants of an automotive light system with Alloy 6. International Journal on Software Tools for Technology Transfer. 2024. Vol. 26. P. 1-13. DOI: 10.1007/s10009-024-00752-3.
• 6. EEIG ERTMS Users Group. Engineering rules for harmonised marker boards. 21E089. 2023.
• 7. Gradowski, P. Scenariusz operacyjny - nowa forma dokumentacji technicznej dla systemów zapewniających interoperacyjność. Problemy Kolejnictwa. 2013. No. 161. P. 21-41. [In Polish: Operational scenario - a new form of technical documentation for systems ensuring interoperability. Railway Problems].
• 8. Kochan, A. Theoretical foundations of the digital twin of ETCS applications. Oficyna Wydawnicza Politechniki Warszawskiej. ISBN: 978-83-815-6563-9. 2023.
• 9. Koper, E. & Kochan, A. & Gruba, Ł. Simulation of the effect of selected national values on the braking curves of an ETCS vehicle. In: Mikulski, J. (eds.) Development of Transport by Telematics. Communications in Computer and Information Science. Vol. 1049. Springer, Cham. 2019. DOI: 10.1007/978-3-030-27547-1_2.
• 10. Piccolo, A. & Galdi, V. & Senesi, F. & Malangone, R. Use of formal languages to represent the ERTMS/ETCS system requirements specifications. Railway, Ship Propulsion and Road Vehicles (ESARS). 2015. P 1-5. DOI: 10.1109/ESARS.2015.7101503.
• 11. Ranjbar, V. & Olsson, N.O.E. & Sipilä H. Impact of signalling system on capacity – Comparing legacy ATC, ETCS level 2 and ETCS hybrid level 3 systems. Journal of Rail Transport Planning & Management. 2022. Vol. 23. ISSN: 2210-9706. DOI: 10.1016/j.jrtpm.2022.100322.
• 12. Reglamento de circulacion ferroviaria. Boletín Oficial Del Estado. Anex 1, num. 171. 2015. Chapter 2.1.2.8
• 13. Rosberg, T. & Thorslund, B. Simulated and real train driving in a lineside automatic train protection (ATP) system environment. Journal of Rail Transport Planning & Management. 2020. Vol. 16. No. 100205.
• 14. Rosell, F. & Codina, E. A model that assesses proposals for infrastructure improvement and capacity expansion on a mixed railway network. Transportation Research Procedia. 2020. Vol. 47. P. 441-448.
• 15. Tueno Fotso, S.J. & Frappier, M. & Laleau, R. & Mammar, A. Modeling the hybrid ERTMS/ETCS level 3 standard using a formal requirements engineering approach. In: Butler, M. & Raschke, A. & Hoang, T. & Reichl, K. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science. Vol. 10817. Springer, Cham. 2018. P. 262–276. DOI: https://doi.org/10.1007/978-3-319-91271-4_18.
• 16. Unisig. SUBSET-023 Glossary of Terms and Abbreviations 4.0.0, 2023.
• 17. Unisig. SUBSET-026 System Requirements Specification 4.0.0, 2023.
• 18. Zhiwen, L. & Qin, Y. & Wang, M. Research on high-speed railway operation adjustment model based on priority. Smart and Resilient Transportation. 2022. Vol. 4. No. 1. P. 12-21. DOI: 10.1108/SRT-04-2021-0005.