Technical Reports

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

  • 01
  • May
  • 1993
AUTHOR: Federal Railroad Administration; Jaynarayan H. Lala; Gail A. Nagle; Richard E. Harper
OFFICE: RPD
REPORT NUMBER: DOT/FRA/NMI-92/26
SUBJECT: Maglev, Safety Advisories, Technology Transfer
KEYWORDS: Magnetic levitation, Maglev, Maglev control computer, Fail safe design, Fault tolerant computer, Design for verifcation methodology, Safety and availability
ABSTRACT: 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 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.
Pdf Download PDF Document [12.7 MB]

####