The paper addresses the safety analysis and evaluation of a hard real-time, interlocking, railway control system. The major objective is to demonstrate an efficient methodology capable of capturing crucial system dependability characteristics while allowing meaningful results to be obtained within a reasonable time. The evaluation is done by simulating the execution of the control software under transient hardware faults. The study demonstrates that simulation is a valuable approach to quick and accurate assessment of critical, railway control systems. It allows to study the trade-offs between different alternatives and to quantify the impact of crucial system parameters (e.g., scheduling policy in data exchange among redundant units in the system) on the overall system dependability.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Behavior of a computer based interlocking system under transient hardware faults


    Beteiligte:
    Romano, L. (Autor:in) / Kalbarczyk, Z. (Autor:in) / Iyer, R.K. (Autor:in) / Mazzeo, A. (Autor:in) / Mazzocca, N. (Autor:in)


    Erscheinungsdatum :

    1997


    Format / Umfang :

    6 Seiten, 6 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Power distribution control hardware interlocking circuit

    WANG BAOJIAN / GUAN PINGHUA / LIU JIE | Europäisches Patentamt | 2023

    Freier Zugriff

    Interface cabinet fixing method based on computer interlocking, and interlocking system

    LI JIN / DING JIANLI / GU GUOXIN et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Interlocking logic operation monitoring software for computer interlocking system

    WU HAIBO / LIANG YUNPENG / HUANG CHENG | Europäisches Patentamt | 2023

    Freier Zugriff

    Urban rail project interlocking dual-computer test method based on interlocking simulation system

    ZHANG JINGWEI / SHI JIANYOU / LYU XIN et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Computer interlocking simulation system based on LabVIEW

    HUANG LUJIANG / CHENG YI | Europäisches Patentamt | 2020

    Freier Zugriff