The importance of the specification of train control system is increasingly recognized and gained more attention in signalling field in China as the specification is the basis to ensure that the signalling system supplied by manufacturer meet the requirements of the railway administration, for example, the requirement for the interoperability of the system. The specifications which are described in natural language are probably deficient and it is inadequate that the specifications are checked only based on the experience of experts. In this paper, a modelling method was applied on the description and the verification of the System Requirement Specification, SRS, of train control system. The Specification and Description Language, SDL, was used to describe the functional behavior of the onboard equipment which is defined in the SRS. First, we defined the principles of modelling which are summarized for the purpose of the interoperability validation. Then, we applied a top-down hierarchical approach to model the functional behavior. The model started from the system level to describe the interface and refined in the block level to show the interaction of system scenarios and detailed the state transition and the working processes of the system in the process level. Debugged the SDL model, we validated the model in Telelogic Tau tool to find the problems of the SRS. The results showed that the ambiguous terms and the incompatible descriptions of the SRS can be found. It can be helpful for the modification of the SRS and the quality of train control system further.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modelling and Verification of the System Requirement Specification of Train Control System Using SDL


    Contributors:
    Yuan, L. (author) / Tang, T. (author) / Li, K. (author)


    Publication date :

    2011


    Size :

    5 Seiten, 9 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Scenario-based modeling and verification of system requirement specification for the European Train Control System

    Tang, W. / Ning, B. / Xu, T. et al. | British Library Conference Proceedings | 2010


    TRAIN VERIFICATION SYSTEM, TRAIN VERIFICATION METHOD AND GROUND DEVICE

    MORIMOTO KAZUNARI | European Patent Office | 2017

    Free access



    Verification method and verification system of train control system based on communication

    CHEN ZUXI / NIU CHUANJUN / MEI MENG et al. | European Patent Office | 2023

    Free access