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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    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 | European Patent Office | 2019

    Free access

    AUTOMATIC WARNING SYSTEM OF CROSSING RAILWAY SIGNALING

    TARASOV EVGENIJ MIKHAJLOVICH / ZHELEZNOV DMITRIJ VALERIANOVICH / GERUS VLADIMIR LEONIDOVICH et al. | European Patent Office | 2018

    Free access

    Intelligent Control System for Railway Level Crossing Safety

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


    Highway-railway level crossing safety control device

    TAO YONGHONG / ZHAI XIANG / HAN JIE | European Patent Office | 2020

    Free access