Validation and real-life demonstration of ETCS hybrid level 3 principles using a formal B model

Abstract In this article, we present a concrete realisation of the ETCS hybrid level 3 concept, whose practical viability was evaluated in a field demonstration in 2017. Hybrid level 3 introduces virtual subsections as sub-divisions of classical track sections with trackside train detection. Our app... View More