Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS

Abstract

Cílem této práce je analýza vlakového provozu řízeného ERTMS/ETCS především na území České republiky. Byl vytvořen model pomocí softwaru Uppaal, který simuluje vlakový provoz. Následně byl navržen scénář, který podstatně zvýšil efektivitu modelované tratě. Tento scénář byl verifikován pomocí simulačních a pravděpodobnostních dotazů Uppaal SMC. Povedlo se dosáhnout příznivých výsledků zdvojnásobením intervalů osobní dopravy ve frekventovaných hodinách a doplnit nákladní vlakové jednotky do provozu v této době s minimální časovou prodlevou při zachování bezpečnosti provozu. Model je koncipován tak, aby dokázal simulovat libovolnou vlakovou jednotku a traťový úsek a mohl by tedy sloužit jako nástroj pro plánování a analýzu vlakové dopravy po zavedení ERTMS/ETCS.The aim of this thesis is to analyze train operations controlled by ERTMS/ETCS, primarily within the Czech Republic. A model was created using the Uppaal software, which simulates train operations. Subsequently, a scenario was designed that significantly increased the efficiency of the modeled track. This scenario was verified using Uppaal SMC's simulation and probabilistic queries. Favourable results were achieved by doubling the intervals of passenger transport during peak hours and adding a freight train unit to the operation during this time with minimal time delay while maintaining operational safety. The model is designed to simulate any train unit and track section and could thus serve as a tool for planning and analyzing train transport after the implementation of ERTMS/ETCS.