System Structure for Software Fault Tolerance

IEEE Transactions on Software Engineering

Volumn SE-1, Issue 2, 1975, Pages 220-232

  Randell, Brian ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Acceptance test; alternate block; checkpoint; conversation; error detection; error recovery; recovery block; recursive cache

Indexed keywords

COMPUTER SYSTEMS, DIGITAL;

EID: 0016522101     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.1975.6312842     Document Type: Article

References (12)

1. T. A. Anderson, “Provably safe programs,” Comput. Lab.
2. C. T. Davies, “Recovery semantics for a DB/DC system,” in Proc. 1973 Ass. Comput. Mach. Nat. Conf., New York, N. Y. pp. 136-141
3. E. W. Dijkstra, “The structure of the “THE”multiprogramming system,” Commun. Ass. Comput. Mach., vol. 11, no. 5. pp. 341-346, 1968
4. C. Hewitt, “PL ANNER: A language for proving theorems in robots,” in Proc. Int. Joint Con. Artificial Intelligence, Mitre Corp., Bedford, Mass., 1969, pp. 295-301.
5. J. J. Horning, H. C. Lauer, P. M. Melliar-Smith, and B. Randell, “A program structure for error detection and recovery,” in Proc. Con!. Operating Systems: Theoretical and Practical Aspects, IRIA, Apr 23-25, 1974, pp. 177-193.
6. H. C. Lauer, “Protection and hierarchical addressing structures,” in Proc. Int. Workshop Protection in Operating Systems, IRIA Rocquencourt, France, 1974, pp. 137-148.
7. H. C. Lauer and D. Wyeth, “A recursive virtual machine architecture,” Comput. Lab., Univ. Newcastle upon Tyne, Newcastle upon Tyne, England, Tech. Rep. 54, Sept. 1973
8. S. E. Madnick and J. W. Alsop, II, “A modular approach to file system design,” in 1969 Spring, Joint Comput. Conf., AFIPS Conf. Proc, vol. 34. Montvale N. J.: AFIPS Press, 1969, pp.1-13.
9. D. L. Parnas, “Response to detected errors in well-atructured programs,” Dep. Comput. ScL, Carnegie-Mellon Univ., Pittsburgh, Pa., Tech. Rep., July 1972.
10. W. H. Pierce, Failure-Tolerant Computer Design. New York: Academic, 1965
11. B. Randell, “Highly reliable computing systems,” Comput. Lab., Univ. Newcastle upon Tyne, Newcastle upon Tyne, England Tech. Rep. 20, July 1971
12. “Research on computing system reliability at the University of Newcastle upon Tyne, 1972/73,” Comput. Lab., Univ. Newcastle upon Tyne, Newcastle upon Tyne, England, Tech. Rep. 57, Jan 1974.