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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    The SIFT computer and its development


    Contributors:

    Conference:

    In: Digital Avionics Systems Conference ; 1981 ; St. Louis, MO


    Publication date :

    1981-01-01


    Type of media :

    Miscellaneous


    Type of material :

    No indication


    Language :

    English




    The SIFT computer and its development

    GOLDBERG, J. | AIAA | 1981


    Object Tracking Robot Using SIFT Based Computer Vision

    K, Deepak Kamath / Rizvi, Dabir Hasan / U, Adarsh et al. | IEEE | 2024


    Better than SIFT?

    Khan, N. | British Library Online Contents | 2015


    Fast Approximated SIFT

    Grabner, M. / Grabner, H. / Bischof, H. | British Library Conference Proceedings | 2006


    SIFT: Design and analysis of a fault-tolerant computer for aircraft control

    Wensley, J.H. / Lamport, L. / Goldberg, J. | Tema Archive | 1978