Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 2023

Powiadomienia systemowe

Sesja wygasła!
Sesja wygasła!
Sesja wygasła!
Sesja wygasła!

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: multigraf IS

Sortuj według:

Ogranicz wyniki do:

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

Kochan Andrzej, Folęga Piotr, Bureika Gintautas, Skirkus Remigijus

Transport Problems

2023

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.