SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control

Proceedings of the IEEE

Volumn 66, Issue 10, 1978, Pages 1240-1255

  Wensley, John H ^a   Lamport, Leslie ^a   Goldberg, Jack ^a   Green, Milton W ^a   Levitt, Karl N ^a   Melliar Smith, P M ^a   Shostak, Robert E ^a   Weinstock, Charles B ^b  

^a SRI International ^*

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AIRCRAFT, TRANSPORT - COMPUTER APPLICATIONS; COMPUTERS, DIGITAL - AEROSPACE APPLICATIONS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0018028210     PISSN: 00189219     EISSN: 15582256     Source Type: Journal    
DOI: 10.1109/PROC.1978.11114     Document Type: Article

References (12)

1. N. D. Murray, A. L. Hopkins, and J. H. Wensley, “Highly reliable multiprocessors,” AGARDograph No. 224, Integrity in Electronic Flight Control Systems, P. R. Kurzhals, Ed., Advisory Group for Aerospace Research and Development, Neuilly Sur Seine, France, pp. 17.1-17.16, Apr. 1977.
2. J. H. Wensley, et al., “Architecture,” vol. I of Design of a Fault Tolerant Airborne Digital Computer,” SRI International Technical Report for NASA, CR-132252, SRI International, Menlo Park, CA. Oct. 1973.
3. R. S. Ratner, et al., “Computational requirements and technology,” vol. II of Design of a Fault Tolerant Airborne Digital Computer, SRI Technical Report for NASA, CR-132253, SRI International, Menlo Park, CA, Oct. 1973.
4. J. H. Wensley, “SIFT software implemented fault tolerance,” in Proc. Fall Joint Computer Conf., AFIPS Press, Montvale, NJ. 1972, vol. 41, pp. 243-253.
5. [51 J. H. Wensley, M. W. Green, K. N. Levitt, and R. E. Shostak, “The design, analysis, and verification of the SIFT fault tolerant system,” Proc. 2nd Int. Conf. Software Engineering, IEEE Catalog No. 76, ch 1125-4 C, IEEE Computer Society, Long Beach, CA, pp. 458-469, 1976.
6. P. M. Melliar-Smith, “Permissible processor loadings for various scheduling algorithms,” Memorandum, SRI International, Menlo Park, CA. 1977.
7. L. Robinson and O. Roubine, “SPECIAL-A specification and assertion language,” Technical Report CSL-46, SRI International, Menlo Park, CA, Jan. 1977.
8. B. Randell. “System structure for software fault tolerance,” IEEE Trans. Software Eng., vol. SE-1 (2), pp. 220-232, June 1975.
9. M. Pease, R. Shostak, and L. Lamport, “Reaching agreement in the presence of faults,” manuscript in preparation.
10. L. Robinson, K. N. Levitt, P. G. Neumann, and A. K. Saxena, “A formal methodology for the design of operating system software,” in Current Trends in Processing Methodology, vol. 1, R. T. Yeh, Ed. Englewood Cliffs, New Jersey: Prentice-Hall. 1976.
11. R. W. Floyd, “Assigning meanings to programs,” Mathematical Aspects of Computer Science, vol. 19, J. T. Schwartz, Ed. Providence, RI: Amer. Mathematical Society, 1967, pp. 19-32.
12. R. E. Shostak et al., “Proving the reliability of a fault-tolerant computer system,” Proc. 14th IEEE Comput. Soc. Int. Conf., San Francisco, CA, 1977.