SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control (1978)
| Venue: | Proceedings of the IEEE |
| Citations: | 76 - 5 self |
BibTeX
@INPROCEEDINGS{Wensley78sift:design,
author = {John H. Wensley and Leslie Lamport and Jack Goldberg and Senior Member and Milton W. Green and Karl N. Levi'it and P. M. Melliar-smith and Robert E. Shostak and Charles and B. Weinstock},
title = {SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control},
booktitle = {Proceedings of the IEEE},
year = {1978},
pages = {1240--1255}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstmt-SIFT (Softwue Implemented Fault Tolerance) is an upon active controls derived from computer outputs. Com ldtmdme Coreputer fa criticd.ircnlt caltrd appkdom that puters for this application must have a reliability that i! rhievesf.ulttdenncebytherep€hthoft&aamongproedng units. The rmin procesing units are off-the-shelf minicomputers, with comparable with other parts of the aircraft. The frequent13 sturdud microcomputers serving as the interface to the YO systean. quoted reliability requirement is that the probability o
Citations
| 489 | System Structure for Software Fault-Tolerance - Randell - 1975 |
| 9 | SIFT: Software implemented fault tolerance - Wensley - 1971 |
| 7 | The design, analysis, and verification of the SIFT fault tolerant system - Wensley, Green, et al. - 1976 |
| 4 | SPECIAL-A specification and assertion language - Robinson - 1977 |
| 1 | Highly reliable multiprocessors,” AGARDograph No - Murray, Hopbins, et al. - 1977 |
| 1 | et al., “Architecture,” vd. I of Design of a Fault Tolemnt Airborne - Wensley - 1973 |
| 1 | Computational requirements and technology,” vd. 11 of Design of a Fault Tolerant Airborne - Ratner, al - 1973 |
| 1 | Permissible processor loadings for various PROCEEDINGS - Melliar-Smith - 1978 |
| 1 | et al., “Proving the reliability of a fault-tolerant computer system - Shostak - 1977 |
