Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 2023

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

100%

Kochan A. , Folęga P. , Bureika G. , Skirkus R.

Transport Problems

2023

tom T. 18, z. 3

5--14

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.

Multigraph is: Part 1. A formal description of railway infrastructure for the digital twin of the ETCS application

100%

Kochan A. , Folęga P. , Skirkus R. , Bureika G.

Transport Problems

2023

tom T. 18, z. 2

43--52

The European Railway Agency has formulated assumptions for a target model of rail transport. Its important premise is digitalization to support the communication and transport services that the railways will make available to the public in the future. Part of the digitalization process is the digital description of the railway infrastructure in a formalized form to allow algorithmic processing. The formal description of infrastructure is not a new issue. However, attempts made so far have not resulted in a permanent definition of a generally accessible formalism allowing for a coherent representation of the physical railway infrastructure in a digital form. This paper presents the results of work carried out within the research project Digital Railway-The Digital Twin of the ETCS Application-Virtual Prototyping and Simulation of Operational Scenarios.