The Maglev control computer system should be designed to verifiably possess high reliability and safety as well as high availability to make Maglev a dependable and attractive transportation alternative to the public. A Maglev control computer system has been designed using a design-for-validation methodology developed earlier under NASA and SDIO sponsorship for real-time aerospace applications. The present study starts by defining the maglev mission scenario and ends with the definition of a maglev control computer architecture. Key intermediate steps included definitions of functional and dependability requirements, synthesis of two candidate architectures, development of qualitative and quantitative evaluation criteria, and analytical modeling of the dependability characteristics of the two architectures. Finally, the applicability of the design-for-validation methodology was also illustrated by applying it to the German Transrapid TR07 maglev control system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Verification Methodology for Fault-Tolerant, Fail-Safe Computers Applied to Maglev Control Computer Systems


    Beteiligte:
    J. H. Lala (Autor:in) / G. A. Nagle (Autor:in) / R. E. Harper (Autor:in)

    Erscheinungsdatum :

    1993


    Format / Umfang :

    220 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Fail-Safe Computer-aided Operations Control Systems for the Transrapid Maglev High-speed Railway

    Burkert, S. / Eilers, H. / Freitag, V. et al. | British Library Conference Proceedings | 1995


    Fault Tolerant Computer Control for a Maglev Transportation System

    Lala, J. H. / Nagle, G. A. / Anagnostopoulos, G. et al. | British Library Conference Proceedings | 1994


    Fault tolerant computer control for a Maglev transportation system

    Lala, Jaynarayan H. / Nagle, Gail A. / Anagnostopoulos, George | NTRS | 1994


    Fault Tolerant Computer Control for a Maglev Transportation System

    J. H. Lala / G. A. Nagle / G. Anagnostopoulos | NTIS | 1994


    Fault Tolerant Computer Control for a Maglev Transportation System

    Lala, J. H. / Nagle, G. A. / Anagnostopoulos, G. et al. | British Library Conference Proceedings | 1994