The authors formally verify hybrid safety properties of cooperation protocols in a fully parametric version of the European train control system (ETCS). They present a formal model using hybrid programs and verify correctness using their logic-based decomposition procedure. This procedure supports free parameters and parameter discovery, which is required to determine correct design choices for free parameters of ETCS.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Logical verification and systematic parametric analysis in train control


    Weitere Titelangaben:

    Logische Verifikation und systematische parametrische Analyse in der Zugsteuerung


    Beteiligte:


    Erscheinungsdatum :

    2008


    Format / Umfang :

    4 Seiten, 10 Quellen





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Runtime Verification of Communications-based Train Control with Parametric Hybrid Automata

    Chai, Ming / Wang, Haifeng / Liu, Hongjie et al. | IEEE | 2019


    TRAIN VERIFICATION SYSTEM, TRAIN VERIFICATION METHOD AND GROUND DEVICE

    MORIMOTO KAZUNARI | Europäisches Patentamt | 2017

    Freier Zugriff

    Automated verification for train control systems

    Peleska, Jan / Große, Daniel / Haxthausen, Anne E. et al. | Tema Archiv | 2004