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.
Verification Methodology for Fault-Tolerant, Fail-Safe Computers Applied to Maglev Control Computer Systems
1993
220 pages
Report
Keine Angabe
Englisch
Transportation Safety , Metropolitan Rail Transportation , Transportation , Magnetic levitation vehicles , Fault tolerant computing , Transportation safety , Computer architecture , Real time operations , Validation , Computer systems design , Reliability , Public transportation , United States Maglev Transportation System , Maglev control computer architecture
Fail-Safe Computer-aided Operations Control Systems for the Transrapid Maglev High-speed Railway
British Library Conference Proceedings | 1995
|Fault Tolerant Computer Control for a Maglev Transportation System
British Library Conference Proceedings | 1994
|Fault Tolerant Computer Control for a Maglev Transportation System
British Library Conference Proceedings | 1994
|