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.

The latest general information on the Coronavirus Disease 2019 (COVID-19) is available on the CDC website.

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
Federal Railroad Administration; Jaynarayan H. Lala; Gail A. Nagle; Richard E. Harper
Report Number
Subject Maglev, Safety Advisories, Technology Transfer
Magnetic levitation, Maglev, Maglev control computer, Fail safe design, Fault tolerant computer, Design for verifcation methodology, Safety and availability

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
Last updated: Saturday, May 1, 1993