Opis
Infrastruktura Cyfrowego Bliźniaka Aplikacji ETCS zawiera komponent Wirtualnego Laboratorium, którego jedną z usług jest symulacja scenariuszy operacyjnych. Usługa ta może być wykorzystywana między innymi do weryfikacji współpracy urządzeń pokładowych ETCS z urządzeniami przytorowymi w celu wykazania poprawności aplikacji ETCS. W artykule poruszono zagadnienia związane z formalnym podejściem do tego typu weryfikacji. Opisano kolejne etapy procesu weryfikacji poprzez przygotowanie specyfikacji scenariusza, specyfikacji środowiska symulacji, utworzenie formalnego opisu obrazu symulacji w czasie jej wykonania oraz algorytmu ostatecznej weryfikacji warunków kompatybilności współpracy części przytorowej i pokładowej ETCS. Formalna specyfikacja jest realizowana za pomocą aparatu matematycznego opracowanego w ramach projektu „Cyfrowa kolej. Cyfrowy Bliźniak Aplikacji ETCS. Wirtualne prototypowanie i symulacja scenariuszy operacyjnych”. Aktualnie badania są kontynuowane w ramach projektu „Metody weryfikacji poprawności funkcjonalnej we współpracy części przytorowej i pokładowej systemu ETCS”. Opracowana koncepcja ma praktyczne zastosowanie w procesach certyfikacyjnych interoperacyjności podsystemu Sterowanie wymaganych przez Techniczne Specyfikacje Interoperacyjności tego podsystemu. Scenariusz operacyjne są podstawowym rodzajem testów przy realizacji kampanii testowych ESC.
