In recent years the complexity of software systems has been growing rapidly. In order to control this development, increasingly formal verification is being used, enabling one to demonstrate that software satisfies given criteria. Providing proof of correctness is particularly important for safety critical systems. Among these are electronic interlockings, used in railway engineering to monitor and control the logic of safety-related components. This paper examines the principles of formal verification of interlocking software by model checking, focusing on interlockings based on programmable logic controllers (PLCs).


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Principles of formal verification of interlocking software


    Weitere Titelangaben:

    Prinzipien der formalen Verifikation von Interlocking-Software


    Beteiligte:
    Pavlovic, O. (Autor:in) / Pinger, R. (Autor:in) / Kollmann, M. (Autor:in) / Ehrich, H.D. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    10 Seiten, 2 Bilder, 2 Tabellen, 14 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Interlocking Formal Verification at Alstom Signalling

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


    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Comparing Formal Verification Approaches of Interlocking Systems

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


    INTERLOCKING DATA SAFE CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR

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

    Freier Zugriff

    SAFE INTERLOCKING DATA CONVERSION METHOD FOR FORMAL VERIFICATION AND TRANSLATOR

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

    Freier Zugriff