Ověření adresné konfigurace RBC ETCS – Ing. Michal Bubeník

Anotace:

Tato práce je z oblasti vlakových zabezpečovacích systémů, konkrétně evropského vlakového zabezpečovacího systému ETCS. Rozebírá stávající způsob tvorby konfiguračních dat pro tento systém a navrhuje metodiku jejich ověření. Tato metodika je založena na nezávislosti postupů. Poslední část popisuje softwarový nástroj, zaměřený na realizaci klíčových částí nové metodiky.

Abstract:

This work is from the area of train control systems, particularly the European Train Control System (ETCS). It analyses an existing creation process of configuration for this system and suggests a methodology for a verification process. This solution is based on an independence of those two procedures. Final part describes a software tool aimed on realisation of the new solution key parts.