Formal Methods and Dependability

  • Cliff B. Jones
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1837)


This paper sets out a programme of work in the area of dependability. The research is to be pursued under the aegis of a six-year Inter-Disciplinary Research Collaboration funded by the UK Engineering and Physical Sciences Research Council. The aim is to to consider computer-based systems which comprise humans as well as hardware and software. The aim here is to indicate how formal methods ideas, coupled with structuring proposals, can help address a problem which clearly also requires social science input.


Human Error Physical Science Research Council Triple Modular Redundancy Hoare Logic Mode Confusion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Collette, P., Jones, C.B.: Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In: Plotkin, G.D. (ed.) Proof, Language and Interaction, ch. 10, pp. 275–305. MIT Press, Cambridge (2000)Google Scholar
  2. 2.
    Collette, P.: Design of Compositional Proof Systems Based on Assumption- Commitment Specifications – Application to UNITY. PhD thesis, Louvain-la- Neuve (June 1994)Google Scholar
  3. 3.
    Churchland, P.S., Sejnowski, T.J.: The Computational Brain. MIT Press, Cambridge (1994)Google Scholar
  4. 4.
    Dingel, J.: Systematic Parallel Programming. PhD thesis, Carnegie Mellon University (1999)Google Scholar
  5. 5.
    Howkins, T.J., Rector, A.L., Horan, C.A., Nowlan, A., Wilson, A.: An overview of PEN& PAD. Lecture Notes in Medical Informatics, vol. 40, pp. 73–78 (1990)Google Scholar
  6. 6.
    Jackson, M.: Problem Frames: Structring and Analysing Software Development Problems. Addison-Wesley, Reading (2000)Google Scholar
  7. 7.
    Jones, C.B.: Specification and design of (parallel) programs. In: Proceedings of IFIP 1983, pp. 321–332. North-Holland, Amsterdam (1983)Google Scholar
  8. 8.
    Jones, C.B.: Constraining interference in an object-based design method. In: Gaudel, M.-C., Jouannaud, J.-P. (eds.) CAAP 1993, FASE 1993, and TAPSOFT 1993. LNCS, vol. 668, pp. 136–150. Springer, Heidelberg (1993)Google Scholar
  9. 9.
    MacKenzie, D.: Computer-related accidental death: an empirical exploration. Science and Public Policy 21, 233–248 (1994)Google Scholar
  10. 10.
    Morgan, C., McIver, A., Sanders, J.W.: Refinement-oriented probability for CSP. Formal Aspects of Computing 8(6), 617–647 (1996)zbMATHCrossRefGoogle Scholar
  11. 11.
    Randell, B.: System structure for fault tolerance. IEEE Transactionns on Software Engineering SE-1, 220–232 (1975)Google Scholar
  12. 12.
    Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)Google Scholar
  13. 13.
    Reason, J.: Managing the Risks of Organisational Accidents. Ashgate Publishing Limited (1997)Google Scholar
  14. 14.
    Rushby, J.: Using model checking to help discover mode confusions and other automation surprises. In: Proceedings of 3rd Workshop on Human Error, HESSD 1999, pp. 1–18 (1999)Google Scholar
  15. 15.
    Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)zbMATHGoogle Scholar
  16. 16.
    Stirling, C.: A generalisation of Owicki-Gries’s Hoare logic for a concurrent while language. TCS 58, 347–359 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  17. 17.
    Stølen, K.: Development of Parallel Programs on Shared Data-Structures. PhD thesis, Manchester University (1990), available as UMCS-91-1-1Google Scholar
  18. 18.
    Xu, J., Randell, B., Romanovsky, A., Stroud, R.J., Zorzo, A.F., Canver, E., von Henke, F.: Rigorous development os a safety-critical system based on coordinated atomic actions. In: Proc. of 29th Int. Symp. Fault-Tollerant Computing. IEEE Computer Society Press, Los Alamitos (1999)Google Scholar
  19. 19.
    Xu, Q.: A Theory of State-based Parallel Programming. PhD thesis, Oxford University (1992)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Cliff B. Jones
    • 1
  1. 1.Department of Computing ScienceUniversity of NewcastleUK

Personalised recommendations