UML-based Railway Interlocking (UML-based RI) is proposed as a methodology in designing and developing Railway Interlocking Systems (RIS). It consists of infrastructure objects and UML is used to model the system behavior. This design is validated and demonstrated by using simulation with Rhapsody. The applied method to verify the systems automatically and formally is model checking. The model and checking conditions are put into the model checker NuSMV. This conventional way in applying model checking leads to the state space explosion problem. Multi-object checking is a method that can be applied to solve this problem and this approach in verifying a UML-based RI is investigated.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Simulation and verification of UML-based Railway Interlocking Systems


    Weitere Titelangaben:

    Simulation und Verifikation von auf UML basierten Bahn-Signaltechnik-Systemen


    Beteiligte:
    Hon, Y.M. (Autor:in) / Kollmann, M. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    10 Seiten, 8 Bilder, 11 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Verification of railway interlocking systems

    Simon Busard / Quentin Cappart / Christophe Limbrée et al. | DOAJ | 2015

    Freier Zugriff

    Verification of railway interlocking systems

    Busard, Simon / Cappart, Quentin / Limbrée, Christophe et al. | ArXiv | 2015

    Freier Zugriff

    Verification of Railway Interlocking - Compositional Approach with OCRA

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


    Modelling Railway Interlocking Systems

    Lindegaard, M. P. / Viuf, P. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001


    RAILWAY INTERLOCKING

    BEMMENT SAMUEL DAVID | Europäisches Patentamt | 2025

    Freier Zugriff