As metro systems have become more advanced, Communication-Based Train Control (CBTC) has been increasingly valued because of its characteristics. It is, however, necessary to guarantee that the CBTC system is safe so that the safety of the whole metro system can be improved. Traditional off-line testing methods are widely used to determine whether the CBTC system complies with the desired specification, but unfortunately these testing methods are becoming insufficient due to the growing complexity and wider functional coverage requirements of the system. In particular, off-line testing methods ask for a deterministic system while the CBTC system is usually non-deterministic. To solve the problem, we propose an on-line testing method, based on a micro railway simulator and the testing tool UPPAAL-TRON, by generating and executing test cases simultaneously. Firstly, we applied the theory of Timed Automata (TA) to model a general routing procedure of the CBTC system. Secondly, the observable abstract variables in the TA-based model were mapped to the simulated variables in our micro railway simulator and the simulated variables were connected to the SUT's variables. Then, we processed the TA-based model via a black-box conformance testing tool UPPAAL-TRON to generate and execute the test case simultaneously. Finally, we analysed the testing results to determine the test coverage and to find out whether there are inconsistencies between the SUT design and its testing specification.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    On-line conformance testing of the Communication-Based Train Control (CBTC) system


    Contributors:
    Yuemiao Wang (author) / Lei Chen (author) / Jinwen Wei (author) / Kirkwood, David (author) / Qian Xu (author) / Lv, Jidong (author) / Roberts, Clive (author)


    Publication date :

    2016-08-01


    Size :

    9266636 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    CBTC (Communication Based Train Control): system and development

    Bin, N. / Tao, T. / Min, Q. K. et al. | British Library Conference Proceedings | 2006


    Interconnection CBTC (Communication Based Train Control) system tie line turnout control method

    LIU MINGXIA / GAO XIANG / CHAI BIN | European Patent Office | 2022

    Free access



    Communication method, device and system of CBTC (Communication Based Train Control) equipment

    WU ZHENGZHONG / ZHANG HUI / MA QUANHUA et al. | European Patent Office | 2024

    Free access