Multigraph is: Part 2. Verification of the digital twin of the European train control system application

• Autorzy: Kochan Andrzej , Folęga Piotr , Bureika Gintautas , Skirkus Remigijus

Identyfikatory

DOI

10.20858/tp.2023.18.3.01

• Języki publikacji: EN

Abstrakty

EN

The final model for rail transportation is the introduction of full digitalization to support communication and transport services, which will be available to the public in the future. The process of digitalization is based on models that reproduce the real physical structures present in the transport network. Due to the high complexity of the structure and its mapping, it is necessary to find methods that automatically verify the proposed created model. This approach supports manual activities that, at this moment, are not sufficient. Automatization’s description requires a formal approach. Such a description has been developed as part of a research project, “The Digital Railway. The digital twin of the ETCS application. Virtual prototyping and simulation of operational scenarios.” In this paper, a formal model of the ETCS application has been proposed, and a formal approach to its verification is described.

Słowa kluczowe

EN

rail transport; model verification; railway infrastructure modelling; multigraph IS; ETCS application

PL

transport kolejowy; weryfikacja modelu; modelowanie infrastruktury kolejowej; multigraf IS; aplikacja ETCS

• Wydawca: Wydawnictwo Politechniki Śląskiej
• Czasopismo: Transport Problems
• Rocznik: 2023
• Tom: T. 18, z. 3
• Strony: 5--14
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Kochan Andrzej

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

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

autor

Folęga Piotr

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

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

autor

Bureika Gintautas

• Vilnius Gediminas Technical University, Department of Mobile Machinery and Railway Transport; Plytinės g. 25, LT- 10105, Vilnius, Lithuania

• https://orcid.org/0000-0003-3934-0005

autor

Skirkus Remigijus

• JSC „LTG Infra”; Panerių g. 38, LT-03603 Vilnius, Lithuania

• https://orcid.org/0000-0002-1411-010X

Bibliografia

• 1. Kochan, A. Digital twin concept of the ETCS application. Journal of Transportation Engineering. 2021. Vol. 131. P. 87-98.
• 2. Grieves, M. & Vickers, J. Digital twin: mitigating unpredictable, undesirable emergent behavior in complex systems. In: Kahlen, J., Flumerfelt, S., Alves, A. (eds.) Transdisciplinary Perspectives on Complex Systems. Springer, Cham. 2017. P. 85-115.
• 3. Kochan, A. & Folęga P. Multigraph IS: Part 1. A formal description of railway infrastructure for the digital twin of the ETCS application. Transport Problems. 2023. Vol. 18. No. 2. P. 33-42.
• 4. Martins, J. at al. Verification of railway network models with EVEREST MODELS ’22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. October 2022. P. 345-355. DOI: https://doi.org/10.1145/3550355.3552439.
• 5. Shynkarenko, V. & Zhuchyi, L. & Ivanov, O. Ontology-based semantic checking of data in railway infrastructure information systems. Foundations of Computing and Decision Sciences. 2022. Vol. 47. No. 3. P. 291-319. DOI: https://doi.org/10.2478/fcds-2022-0016.
• 6. Luteberget, B. & Johansen, C. Efficient verification of railway infrastructure designs against standard regulations. Form Methods Syst Des. 2018. Vol. 52. P. 1-32.
• 7. RailMLschema v.3.1. Available at: https://www.railml.org/en/download.html.
• 8. Buchwald, P. & Sobczak, P. Using Neo4j database and graph model for analysis of metropolitan railway connections of Silesian voivodeship in Poland. Task Quarterly 2021. Vol. 25. No. 4. P. 419-430. DOI: https://doi.org/10.34808/tq2021/25.4/d.
• 9. Amendola, A. & et al. A Model-based approach to the design, verification and deployment of railway interlocking system. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020. P. 240-254.
• 10. Zhang, Z. & Liu Z. Railway line data optimization and formal modelling and verification of generation mothed. IOP Conference Series: Materials Science and Engineering. 2019. Vol. 688. No. 3. Paper No. 033013.
• 11. Häußler, M. Development Of Methods For Model-Based Quality Assurance In Railway Infrastructure Design. PhD Dissertation, Munich Technical University. 2021.
• 12. OMG (2010) Business process model and notation. Available at: https://www.omg.org/spec/BPMN/2.0/.
• 13. SUBSET- 026-3. System requirements specification. Unisig, V. 3.6.0. 2016. 204 p.
• 14. Kochan, A. Infrastruktura cyfrowego bliźniaka aplikacji ETCS. In: Żukowska J. (eds). Nowoczesne technologie i systemy zarządzania w transporcie szynowym. NOVKOL’21. Zakopane, 2021. P. 187-200. [In Polish: Kochan, A.: Digital twin infrastructure for ETCS applications. In: Żukowska J. (eds). Modern technologies and management systems in rail transport].
• 15. Ie-4. Wytyczne techniczne budowy urządzeń sterowania ruchem kolejowym. PKP Polskie Linie Kolejowe S.A. 2019. [In Polish: Ie-4. Technical guidelines for the construction of railway traffic control devices. PKP Polish Railway Lines S.A.].
• 16. SUBSET- 040. Dimensioning and Engineering rules. Unisig. V. 2.3.0. 2009. 33 p.
• 17. SUBSET- 091. Safety Requirements for the Technical Interoperability of ETCS in Levels 1 & 2 Unisig, V. 3.4.0. 2015. 55 p.