Abstract:
Práce je z oblasti železničních zabezpečovacích systémů, zaměřuje se především na evropský vlakový zabezpečovací systém ETCS. Rozebírá a hodnotí jím nabízené možnosti z hlediska funkce rušení neprojeté jízdní cesty. Navrhuje optimální řešení předmětné funkce a následně jej modeluje pomocí zvoleného způsobu formalizace – jazyku UML.