| Title | Verification Methodology of Fault-tolerant, Fail-safe Computers Applied to MAGLEV Control Computer Systems |
|---|---|
| Record ID | 48846 |
| Personal Name Creator |
Lala, J. H.; Nagle, G. A.; Harper, R. E. |
| Source | 206p. in various pagings |
| Corporate Creator | John A. Volpe National Transportation Systems Center (U.S.) |
| Corporate Contributor |
United States. Department of Transportation. Federal Railroad Administration. Office of Research and Development |
| Publisher | United States. Department of Transportation. Federal Railroad Administration |
| Publication Date | 19930501 |
| Language | English |
| 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. |
| Rosap ID | dot:10337 |
| Rosap URL | https://rosap.ntl.bts.gov/view/dot/10337 |
| TRT Terms | Validation; Magnetic levitation vehicles; Computers; Real time control; Reliability |
| General Subjects | Fail-safe design |
| Classification | AGR - INFRASTRUCTURE - Railroads; NTL - RAIL TRANSPORTATION - Rail Safety; NTL - RAIL TRANSPORTATION - High Speed Ground Transportation; NTL - RAIL TRANSPORTATION - RAIL TRANSPORTATION |
| Geographical Coverage |
United States |
| Contract Number | DTFR53-91-C-00043 |
| Report Number | DOT-FRA-NMI-92-26; CSDL-R-2491 |
| Resource type | Tech Report |
| URL | https://ntlrepository.blob.core.windows.net/lib/48000/48800/48846/DOT-FRA-NMI-92-26.pdf |
| Format | |
| Database | NTL Digital Repository |