Publikace: Ověření adresné konfigurace RBC ETCS
Diplomová práceopen accessNačítá se...
Datum
Autoři
Bubeník, Michal
Název časopisu
ISSN časopisu
Název svazku
Nakladatel
Univerzita Pardubice
Abstrakt
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.
Popis
Klíčová slova
vlakové zabezpečovací systémy, ERTMS, ETCS, adresný software, verifikace, train control systems, address software, verification