Advertisement

A Tolerant Approach to Faults

  • Michael Jackson
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6875)

Abstract

The work on recovery blocks springs from the basic realism of recognising that in practice ‘correctness’ may be an unattainable ideal in software development. The work captures and embodies insights of wide applicability. As the authors of the work recognised, these insights can also be extended to the development of complex software-intensive systems where the faults—or, more generally, exceptional conditions—to be handled have their origins in the problem world outside the software. By generalising the notion of a ‘block’ to include processes and non-terminating behaviours, the same insights can be deployed in structuring the general functional behaviour of the system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Fickas+95]
    Fickas, S., Feather, M.S.: Requirements Monitoring in Dynamic Environments. In: Second IEEE International Symposium on Requirements Engineering, pp. 140–147. IEEE Computer Society Press, York (1995)Google Scholar
  2. [Jackson75]
    Jackson, M.A.: Principles of Program Design. Academic Press, London (1975)Google Scholar
  3. [Jackson95]
    Jackson, M.: Software Requirements and Specifications: A Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, Reading (1995)Google Scholar
  4. [Haugk+85]
    Haugk, G., Lax, F.M., Royer, R.D., Williams, J.R.: The 5ess(tm) Switching System: Maintenance Capabilities. AT&T Technical Journal 64(6 part 2), 1385–1416 (1985)CrossRefGoogle Scholar
  5. [Horning+74]
    Horning, J.J., Lauer, H.C., Melliar-Smith, P.M., Randell, B.: A Program Structure for Error Detection and Recovery. In: Symposium on Operating Systems, Rocquencourt, vol. 16, pp. 171–187. Springer, Heidelberg (1974)CrossRefGoogle Scholar
  6. [Randell71]
    Randell, B.: Highly Reliable Computing Systems. Tech. Rep. 20, Computing Laboratory, University of Newcastle (1971) Google Scholar
  7. [Randell75]
    Randell, B.: System Structure for Software Fault Tolerance. IEEE Transactions on Software Engineering 1(2), 220–232 (1975)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Michael Jackson
    • 1
  1. 1.Newcastle UniversityUK

Personalised recommendations