Interoperability is a critical factor for cost cutting and to increase performance in European railway exchanges. The European Railways Traffic Management System (ERTMS), which is both a specification and a technological framework, aimed at providing an answer to the above interoperability needs. Considering the implementation of ERTMS in a particular national context, operating rules must be compliant with the ERTMS specification, whereas the whole system has to provide some safety properties. Moreover, the management of railway signalling in ERTMS is based on "not on board rules" pertaining to each country and not on global rules. In consequence, it is difficult to evaluate the system in terms of safety. Thus, one of the main purposes of this study is to supply methodological tools for the evaluation of the global consistency between the specification and the operating rules, with regard to safety. This issue is crucial and yet it has scarcely been covered by scientific literature.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Checking the European Railways Traffic Management System (ERTMS) operating rules using UML and the B method


    Beteiligte:
    Ayed, R. Ben (Autor:in) / Bon, P. (Autor:in) / Collart-Dutilleul, S. (Autor:in)


    Erscheinungsdatum :

    2014


    Format / Umfang :

    11 Seiten, Bilder, 11 Quellen





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    European rail traffic management system, ERTMS

    Europäische Kommission, Generaldirektion Verkehr | SLUB | 1996


    European rail traffic management system : ERTMS

    Europäische Kommission, Generaldirektion Verkehr | TIBKAT | 1996


    European Rail Traffic Management System; UIC ERTMS

    International Union of Railways | British Library Conference Proceedings | 2007


    European Rail Traffic Management System (ERTMS)

    Młyńczak, Jakub / Toruń, Andrzej / Bester, Lucyna | Springer Verlag | 2015