Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems. The reliability, safety and integrity of these systems, relies on reliability and integrity of all stages in their lifecycle including the design, verification, manufacture, test, operation and maintenance.In this paper, the Automatic generation and verification of interlocking control tables, as one of the most important stages in the interlocking design process has been focused on, by the safety critical research group in the School of Railway Engineering, SRE. Three different subsystems including a graphical signalling layout planner, a Control table generator and a Control table verifier, have been introduced. Using NuSMV model checker, the control table verifier analyses the contents of control table besides the safe train movement conditions and checks for any conflicting settings in the table. This includes settings for conflicting routes, signals, points and also settings for route isolation and single and multiple overlap situations. The latest two settings, as route isolation and multiple overlap situations are from new outcomes of the work comparing to works represented on the subject recently.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Automatic generation and verification of railway interlocking control tables using FSM and NuSMV


    Beteiligte:


    Erscheinungsdatum :

    2009



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Unbekannt




    Automatic instantiation for railway interlocking systems

    Banci, M. / Gnesi, S. | Tema Archiv | 2007


    Verification of Railway Interlocking - Compositional Approach with OCRA

    Limbrée, Christophe / Cappart, Quentin / Pecheur, Charles et al. | British Library Conference Proceedings | 2016


    Static Verification of Railway Schema and Interlocking Design Data

    Iliasov, Alexei / Stankaitis, Paulius / Adjepon-Yamoah, David | British Library Conference Proceedings | 2016



    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018