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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    ERTMS braking curves modeling using EFS


    Weitere Titelangaben:

    Modellierug von ERTMS-Bremskurven mittels EFS


    Beteiligte:


    Erscheinungsdatum :

    2012


    Format / Umfang :

    10 Seiten, 6 Bilder, 3 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 tests underway

    Reed Business Information Quadrant House GB - SM2 5AS Sutton | IuD Bahn | 2004


    The ERTMS project

    Wojanowski, E. | Online Contents | 1998