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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Performing enhanced rail formal engineering constraints traceability: Transition modes


    Beteiligte:


    Erscheinungsdatum :

    01.10.2015


    Format / Umfang :

    695205 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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


    Traceability Analysis and Control Measures of TVOC in Rail Passenger Vehicles

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

    Freier Zugriff

    Applying linguistic engineering to spatial software engineering: the traceability problem

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


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

    YIN LI / LIU SHUO / FU LING et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    Repurposing Traceability

    Belhadj, Said | NTRS | 2019