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

Keywords

Fault tolerance, Computer science, Scale-invariant feature transform, Control (management), Fault (geology)

References

• SIFT: software implemented fault toleranceJ. H. Wensley — 1972
• The design, analysis, and verification of the SIFT fault tolerant systemJ. H. Wensley, Milton W. Green, Karl Levitt — 1976
• System structure for software fault toleranceBrian Randell — 1975

Cited by

• Preemptive Scheduling of Tasks with Reliability Requirements in Distributed Hard Real-Time SystemsYoumi Oh, Sang H. Son — 2007
• Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire. (Influence of transient faults and real-time performances on X-by-Wire systems safety)Cédric Wilwert — 2005
• The Integration of Scheduling and Fault Tolerance in Real-Time SystemsJohn A. Stankovic — 1992
• Conception et implémentation de systèmes résilients par une approche à composantsMiruna Stoicescu — 2013
• FAULT TOLERANCE BY A DISTRIBUTED SOFTWARE CONTROL FOR A HIGH RELIABILITYEmmanuelle Renaux, Cran Lara — 1992
• Scheduling periodic jobs using imprecise resultsJen‐Yao Chung, Jane W. S. Liu, Kwei-Jay Lin — 1987
• The design and analysis of scheduling algorithms for real-time and fault-tolerant computer systemsYingfeng Oh — 1994
• Guaranteeing fault tolerance through scheduling in real-time systemsDaniel Mossé, S. Ghosh — 1996
• On the Viability of a Quantitative Model of System Reconfiguration Due to a FaultGene Saghi, Howard Jay Siegel, J.A.B. Fortes — 1992
• Formal Methods and the Certification of Critical SystemsJohn Rushby — 2004
• A Rigorous Approach to Fault-Tolerant System Development (Extended Abstract)Flaviu Cristian — 1983
• A Middleware Architecture for Intrusion Tolerant Service ReplicationPaul Ezhilchelvan — 2002
• MODELLING AND DEPENDABILITY EVALUATION OF SAFETY SYSTEMS IN CONTROL AND MONITORING APPLICATIONSJean Arlat, K. Kanoun — 1986
• Byzantine Fault Tolerance on General Hybrid Adversary StructuresKlaus Kursawe, Klaus Kursawe, Felix C. Freiling — 2005
• Error correction in robust storage structuresIan J. Davis — 1989
• Incorporation of Recovery and Repair Time in the Reliability Modelling of Fault-Tolerant SystemY.W. Yak, Tharam S. Dillon, K.E. Forward — 1983
• Models for Evaluating the Performability of Degradable Computing SystemsLiang Wu — 1982
• Computer Security BibliographyAnne-Marie G. Discepolo — 1980
• Distributed Voting for Security and Fault ToleranceKevin A. Kwiat, B. Hardekopf — 2001
• Design, implementation and flight verification of a versatile and rapidly reconfigurable UAV GNC research platformLizarraga Fernandez, I Mariano — 2009

Related papers

• FTMP—A highly reliable fault-tolerant multiprocess for aircraftA. L. Hopkins, T. B. Smith, Jaynarayan H. Lala — 1978
• The Byzantine Generals ProblemLeslie Lamport, Robert E. Shostak, Marshall C. Pease — 1982
• SIFT: A Provable Fault-Tolerant Computer for Aircraft Flight ControlJack Goldberg — 1980
• Reaching Agreement in the Presence of FaultsMarshall C. Pease, Robert E. Shostak, Leslie Lamport — 1980
• Replicated distributed programsEric C. Cooper — 1985
• A NonStop kernelJoel F. Bartlett — 1981
• A Multidimensional Space Based Fault-Tolerant Control System Design Method for Commercial AircraftWang Jun, Shaoping Wang, Xingjian Wang — 2018
• Design of a Sub-Scale Model Aircraft for Airplane Fault-tolerant Control Algorithm TestingShaokang Huang, Chao Zhang, Shaoping Wang — 2018