Software 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.
The SIFT computer and its development
In: Digital Avionics Systems Conference ; 1981 ; St. Louis, MO
1981-01-01
Miscellaneous
No indication
English
The SIFT computer and its development
AIAA | 1981
|Object Tracking Robot Using SIFT Based Computer Vision
IEEE | 2024
|British Library Online Contents | 2015
|British Library Conference Proceedings | 2006
|SIFT: Design and analysis of a fault-tolerant computer for aircraft control
Tema Archive | 1978
|