The European Railway Traffic Management System (ERTMS) defines standards for interoperability between the on-board train protection systems (ETCS) and the railway infrastructure. Part of this specification describes the computation of train braking curves and the associated train reactions according to its speed. This document explains how ERTMSFormalSpecs (EFS) has been used to model such braking curves and the associated advantages of traceability and understandability of using a domain-specific language as opposed to a more common specification-implementation process, where multiple stages of human interpretation and interaction increase the opportunities for errors.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    ERTMS braking curves modeling using EFS


    Additional title:

    Modellierug von ERTMS-Bremskurven mittels EFS


    Contributors:


    Publication date :

    2012


    Size :

    10 Seiten, 6 Bilder, 3 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    ERTMS

    Ptok, Bernhard / Nitschke, Erich | IuD Bahn | 1997



    An algorithm for braking curve calculations in ERTMS train protection systems

    Friman, B. | British Library Conference Proceedings | 2006


    ERTMS implementation in Greece

    Protopapa, Ioannis G. | IuD Bahn | 2006


    ERTMS/ETCS Consolidation Strategy

    Dijkman, Robert | IuD Bahn | 2002