Considering the high maintenance costs of trackside equipment and its vulnerability to natural disasters, a novel railway system named Automatic Train Protection and Block (ATPB) is proposed by the authors to aid in improving the efficiency and reducing the cost of regional train lines. It is a railway radio system based on onboard equipment. In order to ensure its system safety, the paper gives a formal analysis on the functional requirements specification for the system. Specifically, after analyzing the actual requirements, a UML model of the ATPB system is created first to check the functional completeness and structural reasonability. Second, a formal and unambiguous specification of the ATPB system is established by VDM++, i.e. VDM++ model, based on the UML class diagram. Third, the internal consistency and satisfiability of the formal specification is verified and validated. Finally, a simulation is conducted strictly according to the formal specification. Without any runtime errors, collisions or derailments, the results demonstrate the high quality of the simulation and the safety of the specification.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety and Reliability Estimation of Automatic Train Protection and Block System


    Beteiligte:
    Xie, Guo (Autor:in) / Hei, Xinhong (Autor:in) / Mochizuki, Hiroshi (Autor:in) / Takahashi, Sei (Autor:in) / Nakamura, Hideo (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2014


    Format / Umfang :

    10 Seiten




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch




    Reliability and Safety Analysis of Automatic Train Protection System

    Yan, J. / Wang, X. / International Federation of Automatic Control | British Library Conference Proceedings | 2001


    Automatic train protection system

    MIYAJI MASAYUKI / YORISHIGE TSUYOSHI / KOIKE JUN | Europäisches Patentamt | 2020

    Freier Zugriff

    AUTOMATIC TRAIN PROTECTION SYSTEM

    ITOTANI SATOSHI / RYOKI SHINICHI / KITAMURA SATORU et al. | Europäisches Patentamt | 2018

    Freier Zugriff

    Train protection method, train protection system and radio block center system

    YUAN HAILI / YANG TAO / LIU MUQI et al. | Europäisches Patentamt | 2023

    Freier Zugriff

    Automatic train protection

    Russell, Eric | IuD Bahn | 1998