NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Development and analysis of the Software Implemented Fault-Tolerance (SIFT) computerSIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system designed to meet the extreme reliability requirements for safety-critical functions in advanced aircraft. Errors are masked by performing a majority voting operation over the results of identical computations, and faulty processors are removed from service by reassigning computations to the nonfaulty processors. This scheme has been implemented in a special architecture using a set of standard Bendix BDX930 processors, augmented by a special asynchronous-broadcast communication interface that provides direct, processor to processor communication among all processors. Fault isolation is accomplished in hardware; all other fault-tolerance functions, together with scheduling and synchronization are implemented exclusively by executive system software. The system reliability is predicted by a Markov model. Mathematical consistency of the system software with respect to the reliability model has been partially verified, using recently developed tools for machine-aided proof of program correctness.
Document ID
19840010885
Acquisition Source
Legacy CDMS
Document Type
Contractor Report (CR)
Authors
Goldberg, J. (SRI International Corp. Menlo Park, CA, United States)
Kautz, W. H. (SRI International Corp. Menlo Park, CA, United States)
Melliar-Smith, P. M. (SRI International Corp. Menlo Park, CA, United States)
Green, M. W. (SRI International Corp. Menlo Park, CA, United States)
Levitt, K. N. (SRI International Corp. Menlo Park, CA, United States)
Schwartz, R. L. (SRI International Corp. Menlo Park, CA, United States)
Weinstock, C. B. (SRI International Corp. Menlo Park, CA, United States)
Date Acquired
September 4, 2013
Publication Date
February 1, 1984
Subject Category
Computer Systems
Report/Patent Number
NASA-CR-172146
NAS 1.26:172146
Accession Number
84N18953
Funding Number(s)
CONTRACT_GRANT: NAS1-15428
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available