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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Funktionale Spezifikation von wirksamer Rechnersoftware für Hochgeschwindigkeitsmagnetschwebebahnen


    Beteiligte:
    Jopke, K. (Autor:in) / Knigge, R. (Autor:in) / Schnieder, E. (Autor:in)


    Erscheinungsdatum :

    1992


    Format / Umfang :

    6 Seiten, 5 Bilder, 1 Tabelle, 4 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




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

    FAN ZHUXIA / XIN BENYU / YUAN XIANZHEN et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    High-speed maglev train speed measurement sensor and maglev train

    LYU YANG / HU ZHONGZHONG / ZHENG LIANGGUANG et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    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