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.