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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    J. H. Lala (author) / G. A. Nagle (author) / R. E. Harper (author)

    Publication date :

    1993


    Size :

    220 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    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