Department of Computing Science: some references on dependability research (references which are marked by "CSR" are co-authored by the CSR members).


[All departmental publications starting from 1989 can be found via the WWW: click here. ]

Some books on dependability:
  1. T. Anderson, B. Randell. Computing Systems Reliability. Cambridge University Press, 1979. 482p. CSR.
  2. T. Anderson, P. A. Lee. Fault Tolerance: Principles and Practice. Prentice Hall, 1981, 369p. CSR.
  3. S. K. Shrivastava. Reliable Computer Systems: Collected Papers of the Newcastle Reliability Project". Springer-Verlag, Heidelberg, 1985, 580p.
  4. T. Anderson. Dependability of Resilient Computers. BSP Prof. Books, 1989, 261p. CSR.
  5. T. Anderson. Safe and Secure Computing Systems. Oxford, Blackwell Scientific, 1989. CSR.
  6. Anderson, T. and Lee, P. A. Fault Tolerance: Principles and Practice. Springer-Verlag, Wien - New York, 1990. CSR.
  7. F. Redmill, T. Anderson. Directions in Safety-critical Systems. Springer-Verlag, 1993. CSR.
  8. F. Redmill, T. Anderson. Safety-critical Systems: Current issues, techniques and standards. London, Chapman-Hall, 1993, 332p. CSR.
  9. C.E. Landwehr, B. Randell, L. Simoncini. Dependable Computing for Critical Applications 3. Springer-Verlag, Vienna, 1993, 381p.
  10. M. Banatre, P. A. Lee. Hardware and software architectures for fault tolerance, Lecture Notes in Computer Science, 774, Springer-Verlag, 1994.
  11. F. Redmill, T. Anderson. Technology and Assessment of Safety-critical Systems. Springer-Verlag, 1994. CSR.
  12. B. Randell, J. C. Laprie, H. Kopetz, B. Littlewood. Predictably Dependable Computing Systems. Springer Verlag, 1995, 588p.
  13. F. Redmill, T. Anderson. Achievement and Assurance of Safety. Springer-Verlag, 1995. CSR.
  14. F. Redmill, T. Anderson. Safety-critical Systems: The Convergence of High Tech and Human Factors. Springer-Verlag, 1996. CSR.
  15. T. Anderson, F. Redmill. Safer Systems. Springer-Verlag, 1997, 283p. CSR.
  16. F. Redmill, T. Anderson. Industrial Perspectives of Safety-critical Systems. Springer-Verlag, 1998. CSR.
  17. F. Redmill, T. Anderson. Towards System Safety. Springer-Verlag, 1999. CSR.
  18. S. Krakowiak, S. K. Shrivastava. Recent Advances in Distributed Systems, Berlin, Lecture Notes in Computer Science, 1752, Springer-Verlag, 2000.
  19. F. Redmill and T. Anderson. Lessons in System Safety. Springer-Verlag, 2000. CSR.

Some papers on dependability:
  1. B. Randell. System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering, Vol. SE-1, No. 2, June 1975, pp.220-232.
  2. P. M. Melliar-Smith, B. Randell. Software Reliability: The role of programmed exception handling. Proceedings of an ACM Conference on Language Design for Reliable Software, Raleigh, N.C., March, 1977, pp.95-100. (ACM SIGPLAN Notices, 12, 3, March 1977).
  3. P.M. Merlin, B. Randell. Consistent State Restoration in Distributed Systems. Digest of Papers, 8th Fault-Tolerant Computing Symposium, Toulouse, June 1978, pp.129-134.
  4. P. A. Lee, B. Randell, P. C. Treleaven. Reliability Issues in Computing System Design. ACM Computing Surveys, 10, 2, 1978, pp.123-166.
  5. B. Randell. Reliability and Integrity of Distributed Computing Systems: Progress Report 1978-80. Digest of Papers, 11th Fault Tolerant Computing Symposium, Portland, Maine, June 1981, p.14.
  6. E. Best, B. Randell. A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica, 16, 1981, pp.93-124.
  7. D. R. Brownbridge, L. F. Marshall, B. Randell. The Newcastle Connection, or, UNIXes of the World United. Software Practice & Experience, December 1982, pp.1147-1162.
  8. B. Randell, J. M. Rushby. A Distributed Secure System. IEEE Computer, July 1983,pp.55-67.
  9. Anderson, T. and Knight, J. C. A Framework for Software Fault-Tolerance in Real-Time Systems. IEEE TSE. SE-9, 3 (1983), 355-364. CSR.
  10. B. Randell. Fault Tolerance and System Structuring.Proceedings of the 4th Jerusalem Conference on Information Technology, 1984.
  11. Anderson, T., Barrett, P. A., Halliwell, D. N. and Moulding, M. R. Software Fault Tolerance: An Evaluation. IEEE TSE. SE-11, 12 (1985), 1502-1510. CSR.
  12. R.H. Campbell, B. Randell. Error Recovery in Asynchronous Systems. IEEE Transactions on Software Engineering, SE-12, 8, August 1986, pp.811-826.
  13. E. Dobson, B. Randell. Reliability and Security Issues in Distributed Computing Systems. Proceedings of the 5th Symposium on Reliability in Distributed Software and Database Systems, IEEE, Los Angeles, January 1986, pp.113-118.
  14. Anderson, T. A Structured Decision Mechanism for Diverse Software. Proc. 5th Symp. on Reliability in Distributed Software and Data Base Systems. LA, California, 1986, pp. 125-129. CSR.
  15. B. Randell, E. Dobson. Building Reliable Secure Systems out of Unreliable Insecure Components.Proceedings of the IEEE Conference on Security and Privacy, Oakland, April 1986, pp.187-193.
  16. S.K. Shrivastava, G.N. Dixon, G.D Parrington. An Overview of the Arjuna Distributed Programming System. IEEE Software, 8 : 1, pp. 66-73, 1991.
  17. S.K. Shrivastava, P.D. Ezhilchelvan, N.A. Speirs, S. Tao and A. Tully. Principle Features of the Voltan Family of Reliable Node Architectures for Distributed Systems. IEEE Trans. on Computers - Special Issue on Fault-Tolerant Computing, 41 : 5, pp. 542-549, 1992.
  18. S.K. Shrivastava, L. Mancini, B. Randell. The Duality of Fault-tolerant System Structures. Software - Practice and Experience, 23 : 7, pp. 773-798, 1993.
  19. D.L. McCue, S.K. Shrivastava. Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment. IEEE Trans. on Parallel and Distributed Systems, 5 : 4, pp. 421-432, 1994.
  20. B. Littlewood, T. Anderson, R. Bloomfield. R. Malcolm. Special Issue on Software Safety. Reliability Engineering and System Safety, 43 : 2, pp. 101-244, 1994. CSR.
  21. J. Xu, B. Randell, A. Romanovsky, R.J. Stroud, Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. Proc. 25th Int. Symp. Fault-Tolerant Computing (FTCS-25), Los Angeles, IEEE Computer Society Press, 1995.
  22. Romanovsky, A. and Strigini, L. Backward error recovery via conversations in Ada. Software Engineering Journal. 10, 6 (1995), 219-232. CSR.
  23. Barrett, P. and Saeed, A. On requirement analysis for reactor control and protection systems. Proc. 2nd IFAC Workshop in Emerging Control Technologies. Florida, 1995. CSR.
  24. Romanovsky, A. and Strigini, L. Backward error recovery via conversations in Ada. Software Engineering Journal. 10, 6 (1995), 219-232. CSR.
  25. Saeed, A., de Lemos, R. and Anderson, T. Safety Analysis for requirements specifications: Methods and techniques. Proc. 14th Int. Conf. on Computer Safety, Reliability and Security. Belgirate, Italy, 1995. CSR.
  26. de Lemos, R., Saeed, A. and Anderson, T. Analyzing Safety Requirements for Process-Control Systems. IEEE Software. 12, 3 (1995), 42-53. CSR.
  27. B. Randell, J. Xu. The Evolution of the Recovery Block Concept. In "Software Fault Tolerance", John Wiley & Sons, 1995, pp. 1-22.
  28. A. Romanovsky, J. Xu, B. Randell. Exception Handling and Resolution in Distributed Object-Oriented Systems. 16th IEEE International Conference on Distributed Computing Systems, IEEE CS, Hong Kong, May 1996, pp.545-552.
  29. M. Banatre, A. Gefflaut, P. Joubert, C. Morin, P.A. Lee. An Architecture for Tolerating Processor Failures in Shared-Memory Multiprocessors. IEEE Transactions on Computers, 45 : 10, pp. 1101-1115, 1996.
  30. J.E. Dobson and M.J. Martin. Messages, Communication, Information Security: Protecting the User from the Data. Database Security IX: Status and Prospects, pp. 10-26, ed. D. L. Spooner, S. A. Demurjian and J. E. Dobson, Chapman and Hall, London, 1996. CSR.
  31. F.V. Brasileiro, P.D. Ezhilchelvan, S.K. Shrivastava, N.A. Speirs and S. Tao. Implementing Fail-Silent Nodes for Distributed Systems. IEEE Trans. on Computers, 45 : 11, pp. 1226-1238, 1996.
  32. B. Randell, J. Xu. Software Fault tolerance: t/(n-1)-variant programming. IEEE Trans. on Reliability 46, 1 (March 1997) pp. 60-68.
  33. Strigini, L., Di Giandomenico, F. and Romanovsky, A. Coordinated backward recovery between client processes and data servers. IEE Proceedings on Software Engineering. 144, 2 (1997), 134-146. CSR.
  34. Cepin, M., de Lemos, R., Mavko, B., Riddle, S. and Saeed, A. An object-based approach to modelling and analysis of failure properties. Proc. 16th Int. Conf on Computer Safety, Reliability and Security. York, UK, 1997. CSR.
  35. Romanovsky, A. Abstract Object State and Version Recovery in N-Version Programming. Proc. 29th Conf. on Technology of OO Languages and Systems. IEEE CS, Nancy, France, 1999, pp. 86-95. CSR.
  36. Popov, P., Romanovsky, A. and Strigini, L. Choosing effective methods for design diversity - how to progress from intuition to science. Proc. 18th Int. Conf. on Computer Safety, Reliability and Security. Toulouse, France, 1999. CSR.
  37. Welch, I. and Stroud, R. J. From Dalang to Kava - Evolution of a Reflective Extension for Java Meta Level Architectures and Reflection. Proc. 2nd Int. Conf. Reflection'99. IEEE, Saint-Malo, France, 1999, pp. 2-21.
  38. Xu, J., Randell, B., Romanovsky, A., Stroud, R. J., Zorzo, A. F., Canver, E. and von Henke, F. Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions. Proc. 29th IEEE Int. Symp. on Fault-Tolerant Computing. Madison, USA, 1999, pp. 68-75.
Last updated by Alexander Romanovsky on November 17 1999 (email: alexander.romanovsky@newcastle.ac.uk)