Janhsen, A.; Lemmer, K.; Meyer zu Hörste, M.; Schnieder, E.:
Migration Strategy for Different Levels of the European Train Control System to existing railway environment.
WCRR '97: World Congress on Railway Research, S. 335-341, Florenz, ''6 1997. Florenz, METROTIPO S.p.A..


This paper deals with the design process für the European Train Contral System (ETCS), particular focussing on the interfaces to interlocking systems. Different requirements in the ETCS-Levels and the consequences in relation to interlockings will be discussed. The tipper levels of the formal system model of the interface are shown and the resulting requirements are presented. Furthermore, the verification of the flet based specification is outlined.