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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety and Reliability Estimation of Automatic Train Protection and Block System


    Contributors:


    Publication date :

    2014


    Size :

    10 Seiten




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Reliability and Safety Analysis of Automatic Train Protection System

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


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

    YUAN HAILI / YANG TAO / LIU MUQI et al. | European Patent Office | 2023

    Free access

    Automatic train protection system

    MIYAJI MASAYUKI / YORISHIGE TSUYOSHI / KOIKE JUN | European Patent Office | 2020

    Free access

    AUTOMATIC TRAIN PROTECTION SYSTEM

    ITOTANI SATOSHI / RYOKI SHINICHI / KITAMURA SATORU et al. | European Patent Office | 2018

    Free access

    Automatic train protection

    Russell, Eric | IuD Bahn | 1998