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. 



COMMENT electronics



FREE IEEE PAPER





European Train Control System IEEE PAPER