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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Methods for Industrial Interlocking Verification


    Contributors:


    Publication date :

    2018-12-01


    Size :

    293346 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    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 Archive | 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. | European Patent Office | 2024

    Free access