Railway interlocking is designed to prevent trains from colliding. Generally speaking current systems are safe due to the processes that signalling systems have to follow as well as implementation procedures that interlockings are compliant with. Even the processes and procedures are very advanced; there are still train crashes that are triggered by interlocking faults. However, the interlocking faults are mainly related to poor maintenance of the systems or/and changes to the original designs without correct authorisation. While those areas are worth exploring to search some improvements it is also important that interlocking will progress its development toward intelligent transport system reinforcing maintenance functions.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Railway interlocking process - Building a base for formal methods


    Beteiligte:
    Mocki, Jacek (Autor:in) / Vlacic, Ljubo (Autor:in)


    Erscheinungsdatum :

    01.08.2013


    Format / Umfang :

    262180 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    The role of formal methods in developing a distributed railway interlocking system

    Banci, M. / Fantechi, A. / Gnesi, S. | Tema Archiv | 2004


    RAILWAY INTERLOCKING

    BEMMENT SAMUEL DAVID | Europäisches Patentamt | 2025

    Freier Zugriff

    Railway interlocking

    SAMUEL DAVID BEMMENT | Europäisches Patentamt | 2025

    Freier Zugriff

    Railway interlocking

    Europäisches Patentamt | 2023

    Freier Zugriff