Migration strategy for different level of the European train control system to existing railway environment

This paper deals with the design process for the European Train Control System (ETCS), focussing on the interfaces to interlocking systems. Different requirements in the ETCS-Levels and their consequences in relation to interlockings will be discussed. The upper levels of the formal system model of the interface are shown and...