In this paper, we present an overview of research jointly undertaken by the Swansea Railway Verification Group towards verification techniques for automatically checking safety for train control systems. We present a comprehensive modelling of safety principles in first order logic. We conclude by applying verification methods developed by Swansea Railway Verification Group in order to check the modelled safety principles against a real world railway interlocking system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Methods for Industrial Interlocking Verification


    Beteiligte:
    Chadwick, Simon (Autor:in) / James, Phillip (Autor:in) / Roggenbach, Markus (Autor:in) / Wetner, Tom (Autor:in)


    Erscheinungsdatum :

    01.12.2018


    Format / Umfang :

    293346 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Interlocking Formal Verification at Alstom Signalling

    Parillaud, Camille / Fonteneau, Yoann / Belmonte, Fabien | British Library Conference Proceedings | 2019


    Principles of formal verification of interlocking software

    Pavlovic, O. / Pinger, R. / Kollmann, M. et al. | Tema Archiv | 2007


    Comparing Formal Verification Approaches of Interlocking Systems

    Haxthausen, Anne Elisabeth / Nguyen, Hoang Nga / Roggenbach, Markus | British Library Conference Proceedings | 2016


    Formal Modeling and Verification of Interlocking Systems Featuring Sequential Release

    Vu, Linh H. / Haxthausen, Anne E. / Peleska, Jan | Springer Verlag | 2015


    INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR

    WEI MIN / WANG YANQIN / ZHANG MINGYAO et al. | Europäisches Patentamt | 2024

    Freier Zugriff