USA Banner

Official US Government Icon

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure Site Icon

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

U.S. Department of Transportation U.S. Department of Transportation Icon United States Department of Transportation United States Department of Transportation

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

Document Series:
Technical Reports
Author:
  • Federal Railroad Administration; Jaynarayan H. Lala; Gail A. Nagle; Richard E. Harper
Report Number
DOT/FRA/NMI-92/26
Office
RRD
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
Report Number
DOT/FRA/NMI-92/26
Office
RRD
Document
DOT-FRA-NMI-92-26.pdf (12.74 MB)

DOT is committed to ensuring that information is available in appropriate alternative formats to meet the requirements of persons who have a disability. If you require an alternative version of files provided on this page, please contact FRADevOps@dot.gov.
Last updated: Saturday, May 1, 1993