Original title:
Analýza vlastností vlakového provozu řízeného pomocí ERTMS/ETCS
Translated title:
Analysis of Characteristics of Train Traffic Controlled by ERTMS/ETCS
Authors:
Ondroušek, Adam ; Šimek, Václav (referee) ; Strnadel, Josef (advisor) Document type: Bachelor's theses
Year:
2024
Language:
cze Publisher:
Vysoké učení technické v Brně. Fakulta informačních technologií Abstract:
[cze][eng]
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.
Keywords:
Czech railways; ERTMS; ETCS; modelling; simulation; train control system; Uppaal; Uppaal SMC; ERTMS; ETCS; modelování; simulace; Uppaal; Uppaal SMC; vlakový zabezpečovač; česká železnice
Institution: Brno University of Technology
(web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library. Original record: https://hdl.handle.net/11012/247808