Abstract The paper deals with design problems of correct and high reliable software for railway traffic control systems. The correct software (corresponding to formal or semi-formal criteria) has an important part in safety related (SIL4) railway control systems. The paper treats about actual state of art in design of safety related software for railway application. The proposed methods, recommended by CENELEC and UIC are introduced to example of automatic level crossing signaling system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    The Safety Related Software for Railway Control with Respect to Automatic Level Crossing Signaling System

    Lewinski, A. / Trzaska-Rycaj, K. | British Library Conference Proceedings | 2010


    Railway level crossing safety system

    JON OTEGUI VAN LEEUW | Europäisches Patentamt | 2019

    Freier Zugriff

    AUTOMATIC WARNING SYSTEM OF CROSSING RAILWAY SIGNALING

    TARASOV EVGENIJ MIKHAJLOVICH / ZHELEZNOV DMITRIJ VALERIANOVICH / GERUS VLADIMIR LEONIDOVICH et al. | Europäisches Patentamt | 2018

    Freier Zugriff

    Intelligent Control System for Railway Level Crossing Safety

    Cho, Bong-kwan / Ryu, Sang-Hwan / Hwang, Hyeon-Chyeol et al. | Tema Archiv | 2012


    Highway-railway level crossing safety control device

    TAO YONGHONG / ZHAI XIANG / HAN JIE | Europäisches Patentamt | 2020

    Freier Zugriff