Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: aplikacja ETCS

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.

Digital Twin Concept of the ETCS application

Kochan Andrzej

Prace Naukowe Politechniki Warszawskiej. Transport

2020

z. 131

87--98

This paper presents the concept of a digital twin for the ETCS application. The ERTMS system is a technical solution aimed at ensuring interoperability of the railway system in the field of signalling within the European Union. It is also an important factor in the digitisation and automation of railways. Due to its complexity, it needs solutions to support its activities in all phases of the life cycle, in particular design, implementation, maintenance and operation. A digital twin is a virtual representation of a real system. According to many definitions, this mapping should be as close to identical as possible. Such a mapping should, by definition, accompany the real system throughout its lifetime, providing a consistent description of the current state and history of its operation. This mapping should be the primary source of information about the real system for all stakeholders interested in its operation. This paper presents the basic assumptions of the Digital Twin of the ETCS application in terms of its structure and its application to the verification of its correctness.

W artykule przedstawiono koncepcję cyfrowego bliźniaka aplikacji ETCS. System ERTMS/ETCS jest rozwiązaniem technicznym mającym na celu zapewnienie interoperacyjności systemu kolei w zakresie sterowania ruchem kolejowym na obszarze Unii Europejskiej. Jest również istotnym czynnikiem w procesie cyfryzacji i automatyzacji kolei. Ze względu na swoją złożoność potrzebuje rozwiązań, które będą wspomagać działania z nim związane na wszystkich etapach cyklu życia, a szczególności projektowaniu, wdrażaniu, utrzymaniu i eksploatacji. Cyfrowy bliźniak jest wirtualnym odwzorowaniem rzeczywistego systemu. Zgodnie z wieloma definicjami to odwzorowanie powinno być jak najbardziej zbliżone do identyczności. Takie odwzorowanie z założenia powinno towarzyszyć rzeczywistemu systemowi przez cały okres istnienia zapewniając spójny opis aktualnego stanu i historii jego działania. To odwzorowanie powinien stanowić podstawowe źródło informacji o rzeczywistym systemie dla wszystkich interesariuszy zainteresowanych jego działaniem. Artykuł przedstawia podstawowe założenia Cyfrowego Bliźniaka aplikacji ETCS w zakresie jego struktury i zastosowania do weryfikacji jego poprawności.