European Train Control System

Model checking data-dependent real-time properties of the European Train Control System

FREE-DOWNLOAD [PDF] J Faber… – Formal Methods in Computer Aided Design …, 2006
It computes the service brake intervention limit (SBI), ie, the last position on the track
the train has to apply the service brakes to halt before reaching the LOA. If the train
exceeds this point the emergency brakes have to be used.