As defined in the Council directive of 1996, the European Rail Traffic Management System (ERTMS) aims to provide the basic framework to the interoperable rail signaling and train control. Besides, traffic safety depends closely on the analysis, checking and validation of the ERTMS specifications and in the human behavior. These deals are considered on the ANR Project: PERFECT, in which this work fits. Thereby, in this paper it is proposed to use a state model approach to check and validate mode transitions of the ERTMS level 2 specifications. A scenario mode transition example is used to describe the steps of the state model algorithm and to validate it.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Performing enhanced rail formal engineering constraints traceability: Transition modes


    Contributors:


    Publication date :

    2015-10-01


    Size :

    695205 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Traceability Analysis and Control Measures of TVOC in Rail Passenger Vehicles

    XIA Chunjing / ZHOU Dan / CHEN Guang | DOAJ | 2025

    Free access

    Safety Demonstration for a Rail Signaling Application in Nominal and Degraded Modes Using Formal Proof

    Mota, Jean‐Marc / Dmitrieva, Evguenia / Mammar, Amel et al. | Wiley | 2014


    Applying linguistic engineering to spatial software engineering: the traceability problem

    Borillo, M. / Borillo, A. / Castell, N. et al. | Tema Archive | 1992


    Rail transition device, circular rail crane, transition system and transition method

    YIN LI / LIU SHUO / FU LING et al. | European Patent Office | 2023

    Free access

    Repurposing Traceability

    Belhadj, Said | NTRS | 2019