The European Train Control System (ETCS) is in development. Based on its specification in natural language a formal Petri net model has been established using the tool Design/CPN by order of the Deutsche Bahn AG. Thus, an industrial scale example exists to investigate the impact of formal models on the product life cycle. This paper focus' on the test for approval since this will be in the next future a major matter of concern of the railway companies, as the industry will deliver first prototypes of the ETCS soon.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Modelling and simulation of the European Train Control System for test case generation

    Schultz, H.-M. / Meyer zu Horste, M. / Ptok, B. et al. | British Library Conference Proceedings | 1998


    European Train Control System

    Königin-Luise-Str. 5, D-14195 Berlin | IuD Bahn | 1994



    ETCS - European Train Control System

    Kollmannsberger, F. | Tema Archive | 1992


    European Train Control System (ETCS)

    Kollmannsberger, F. / Verein Deutscher Ingenieure; Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 1994