NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
The SIFT computer and its developmentSoftware Implemented Fault Tolerance (SIFT) is an aircraft control computer designed to allow failure probability of less than 10 to the -10th/hour. The system is based on advanced fault-tolerance computing and validation methodology. Since confirmation of reliability by observation is essentially impossible, system reliability is estimated by a Markov model. A mathematical proof is used to justify the validity of the Markov model. System design is represented by a hierarchy of abstract models, and the design proof comprises mathematical proofs that each model is, in fact, an elaboration of the next more abstract model.
Document ID
19820029955
Document Type
Conference Proceedings
Authors
Goldberg, J. (SRI International Menlo Park, CA, United States)
Date Acquired
August 10, 2013
Publication Date
January 1, 1981
Subject Category
COMPUTER OPERATIONS AND HARDWARE
Report/Patent Number
AIAA PAPER 81-2278
Meeting Information
In: Digital Avionics Systems Conference(St. Louis, MO)
Funding Number(s)
CONTRACT_GRANT: NAS1-15428
Distribution Limits
Public
Copyright
Other