Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

摘要: The European Rail Traffic Management System/European Train Control System (ERTMS/ETCS) is an innovative standard introduced to enhance reliability, safety, performance, and interoperability of trans-European railways. In Level 3, the replaces fixed-block safety mechanisms, in which only one train at a time allowed be each railway block, with moving blocks: proceeds as long it receives radio messages ensuring that track ahead clear other trains. This mechanism increases line capacity, but relies crucially on communication link: if are lost, must stop within safe deadline even clear. We develop upon results literature propose approach for evaluation transient availability channel probability stops due lost messages. formulate non-Markovian model system operation, leverage solution techniques ORIS Tool provide experimental presence multiple concurrent activities non-exponential durations.