The European Union set up an European management system of the rail traffic: the ERTMS system (European Rail Traffic Management System) to ensure, in full safety, trains circulations on different European networks. Here, methods, models and tools are presented dedicated to model ERTMS specifications. These models will be used to generate tests scenarios for the validation of ERTMS components based on functional requirements. The objective is to facilitate the interoperability through the mutual recognition of the ERTMS components between the member states by proposing tests scenarios generation enabling cover checking. A description of the ERTMS system, as the scientific context of this study, is given. Different modeling formalisms for ERTMS/ETCS specifications are presented. Finally, a model transformation technique from UML (Unified Modeling Language) to Petri Nets is followed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modelling of the ERTMS specifications for checkings and certification objectives


    Weitere Titelangaben:

    Modellierung der Spezifikationen des European Rail Traffic Management System zur Prüfung und Zertifizierung von Objekten


    Beteiligte:
    Jabri, S. (Autor:in) / Koursi, E.M. El (Autor:in) / Lemaire, E. (Autor:in) / Bourdeaudhuy, T. (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    7 Seiten, 5 Bilder, 24 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch






    Certification of ERTMS for European locomotives: theory and practice

    Smulders, Gerwin / Zigterman, Lieuwe | Tema Archiv | 2012


    Certification of ERTMS for European locomotives: theory and practice

    Smulder, Gerwin / Zigterman, Lieuwe | IuD Bahn | 2012


    ERTMS

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