The system design method of Ward and Mellor is used to describe the functional behaviour of the control and protection system of the high-speed maglev train TRANSRAPID. This operation control system has to control (ATC) and to protect (ATP) many vehicles. A simulation has already been run successfully at Siemens in Braunschweig. A substantial problem is to obtain the proof of the ATP (Automatic Train Protection) of the whole system on the functional level already. In Germany, this proof with regard to safety has to be passed at the TÜV (Technical Supervision Association). The implementation model which contains the functional behaviour is the only object which can be tested against the program code by the experts. The experts who are verifying the system should get a clearly structured specification which allows him to understand the correct relations between the program code and the implementation model. In particular, the real time aspect with regard to the method of Ward and Mellor and guidelines made to interpret the system description will be considered.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Functional specification of vital computer software for high-speed maglev systems


    Additional title:

    Funktionale Spezifikation von wirksamer Rechnersoftware für Hochgeschwindigkeitsmagnetschwebebahnen


    Contributors:
    Jopke, K. (author) / Knigge, R. (author) / Schnieder, E. (author)


    Publication date :

    1992


    Size :

    6 Seiten, 5 Bilder, 1 Tabelle, 4 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    High-speed maglev train propelling device and high-speed maglev train

    FAN ZHUXIA / XIN BENYU / YUAN XIANZHEN et al. | European Patent Office | 2020

    Free access

    High-speed maglev train speed measurement sensor and maglev train

    LYU YANG / HU ZHONGZHONG / ZHENG LIANGGUANG et al. | European Patent Office | 2020

    Free access

    Noise From High Speed MAGLEV Transportation Systems

    Hanson, C. E. / American Society of Civil Engineers; Committee on High Speed Ground Transportation (HSGT) Systems | British Library Conference Proceedings | 1993


    High-Speed Railways, Maglev and Hyperloop Systems

    Guerrieri, Marco | Springer Verlag | 2023


    High-Speed MAGLEV in China

    Luguang, Y. / Guangsheng, S. / Jiarong, F. et al. | British Library Conference Proceedings | 2002