Turing memorial lecture: Facing up to faults

Computer Journal

Volumn 43, Issue 2, 2000, Pages 95-106

  Randell, Brian ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

SYSTEM FAILURES;

COMPUTER SYSTEM RECOVERY;

EID: 0033732916     PISSN: 00104620     EISSN: None     Source Type: Journal    
DOI: 10.1093/comjnl/43.2.95     Document Type: Article

References (30)

1. Turing, A. M. (1949) Checking a large routine. In Report on a Conf. on High Speed Automatic Calculating Machines, pp. 67-69. Cambridge University Mathematical Laboratory, Cambridge.
2. Goldstine, H. H. and von Neumann, J. (1965) Planning and coding of problems for an electronic computing instrument. Report of U.S. Ord. Dept. (1947). In Taub, A. (ed.) Collected Works of J. von Neumann, pp. 80-151. Pergamon, New York.
3. Morris, F. L. and Jones, C. B. (1984) An early program proof by Alan Turing. Ann. Hist. Comput., 6, 139-143.
4. Randell, B. (ed.) (1982) The Origins of Digital Computers: Selected Papers (3rd edn.), p. 580. Springer-Verlag, Heidelberg.
5. Chen, L. and Avizienis, A. (1978) N-version programming: a fault-tolerance approach to reliability of software operation. In Proc. 8th IEEE Int. Symp. on Fault-Tolerant Computing (FTCS-8), Toulouse, France, 1978, pp. 3-9.
6. von Neumann, J. (1956) Probabilistic logic and the synthesis of reliable organisms from unreliable components. In Shannon, C. E. and McCarthy, J. (eds), Automata Studies, pp. 43-98. Princeton University Press, Princeton, NJ.
7. Naur, P. and Randell, B. (eds) (1969) Software Engineering: Report of a Conf. Sponsored by the NATO Science Committee, Garmisch, Germany, 7-11 October 1968, p. 231. Brussels, Scientific Affairs Division, NATO.
8. (1993) The Impact of Online Computer Systems Downtime on American Businesses, FIND/SVP Survey.
9. Laprie, J. C. (1999) Dependability of software-based critical systems. Dependable Network Computing. Kluwer Academic Publishers, Amsterdam, The Netherlands.
10. Johnson, J. (1995) Chaos: the dollar drain of IT project failures. Appl. Develop. Trends, 41-47.
11. Randell, B. (1975) System structure for software fault tolerance. IEEE Trans. Softw. Eng., SE-1, 220-232.
12. Laprie, J. C. (ed.) (1992) Dependability: basic concepts and terminology - in English, French, German, Italian and Japanese. In Dependable Computing and Fault Tolerance, p. 265. Springer-Verlag, Vienna.
13. Laprie, J. C. (1995) Dependable computing: concepts, limits, challenges. In Proc. 25th IEEE Int. Symp. Fault-Tolerant Computing - Special Issue, Pasadena, CA, pp. 42-54. IEEE.
14. Laprie, J. C. (ed.) (1991) Dependability: basic concepts and associated terminology. In Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, Berlin.
15. Davies, C. T. (1978) Data processing spheres of control. IBM Syst. J., 17, 179-198.
16. Gray, J. and Reuter, A. (1993) Transaction Processing: Concepts and Techniques. Morgan Kaufmann, New York.
17. Campbell, R. H. and Randell, B. (1986) Error recovery in asynchronous systems. IEEE Trans. Softw. Eng., SE-12, 811-826.
18. Lomet, D. B. (1977) Process structuring, synchronization, and recovery using atomic actions. ACM SIGPLAN Notices, 12, 128-137.
19. Xu, J., Randell, B., Romanovsky, A., Stroud, R. J. and Wu, Z. (1995) Fault tolerance in concurrent object-oriented software through coordinated error recovery. In Proc. 25th Int. Symp. on Fault-Tolerant Computing (FTCS-25), Los Angeles. IEEE Computer Society Press, Los Alamitos, CA.
20. Caughey, S. J., Little, M. C. and Shrivastava, S. K. (1998) Checked transactions in an asynchronous message passing environment. In Proc. 1st IEEE Int. Symp. on Object-Oriented Real-Time Distributed Computing, Kyoto, 1988, pp. 222-229.
21. Xu, J., Romanovsky, A. and Randell, B. (1998) Co-ordinated exception handling in distributed object systems: from model to system implementation. In Proc. 18th IEEE International Conference on Distributed Computing Systems, Amsterdam, pp. 12-21.
22. Romanovsky, A., Xu, J. and Randell, B. (1998) Exception handling in object-oriented real-time distributed systems. In Proc. 1st IEEE Int. Symp. on Object-Oriented Real-time Distributed Computing (ISORC'98), Kyoto, Japan, 1988, pp. 32-42.
23. Xu, J., Randell, B., Romanovsky, A., Stroud, R. J., Zorzo, A., Canver, E. and von Henke, F. (1999) Developing control software for production cell II: failure analysis and system design using CA actions. In FTCS-29, Madison. IEEE Computer Society Press, Los Alamitos, CA.
24. Xu, J., Randell, B., Romanovsky, A., Stroud, R. J., Zorzo, A. F., Canver, E. and von Henke, F. (1999) Rigorous development of a safety-critical system based on coordinated atomic actions. In Proc. 29th Int. Symp. Fault-Tolerant Computing (FTCS-29), Madison. IEEE Computer Society Press, Los Alamitos, CA.
25. Zorzo, A. F., Romanovsky, A., Randell, B., Xu, J., Stroud, R. J. and Welch, I. S. (1999) Using co-ordinated atomic actions to design complex safety-critical systems: the production cell case study. Softw. - Pract. Exp., 29, 677-697.
26. Zurcher, F. W. and Randell, B. (1968) Iterative multi-level modelling: a methodology for computer system design. In Proc. IFIP Congress 68, Edinburgh, pp. D138-D142.
27. Anderson, R. (1999) How to cheat at the lottery (or, massively parallel requirements engineering). In Proc. Computer Security Applications Conf., Phoenix, AZ.
28. Littlewood, B. and Miller, D. R. (1989) Conceptual modelling of coincident failures in multi-version software. IEEE Trans. Softw. Eng., 15, 1596-1614.
29. Neumann, P. (1995) Computer Related Risks. Addison-Wesley, New York.
30. Dobson, J. E. and Randell, B. (1986) Building reliable secure systems out of unreliable insecure components. In Proc. Conf. on Security and Privacy, Oakland. IEEE Computer Society Press, Los Alamitos, CA.