Skip to main content
SpringerLink
Log in
Book cover

International Conference on Mathematics of Program Construction

MPC 2000: Mathematics of Program Construction pp 140–143Cite as

Formal Methods and Dependability

  • Conference paper

  • 439 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1837))

Abstract

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.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. Churchland, P.S., Sejnowski, T.J.: The Computational Brain. MIT Press, Cambridge (1994)

    Google Scholar 

  4. Dingel, J.: Systematic Parallel Programming. PhD thesis, Carnegie Mellon University (1999)

    Google Scholar 

  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. Jackson, M.: Problem Frames: Structring and Analysing Software Development Problems. Addison-Wesley, Reading (2000)

    Google Scholar 

  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. 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. MacKenzie, D.: Computer-related accidental death: an empirical exploration. Science and Public Policy 21, 233–248 (1994)

    Google Scholar 

  10. Morgan, C., McIver, A., Sanders, J.W.: Refinement-oriented probability for CSP. Formal Aspects of Computing 8(6), 617–647 (1996)

    Article  MATH  Google Scholar 

  11. Randell, B.: System structure for fault tolerance. IEEE Transactionns on Software Engineering SE-1, 220–232 (1975)

    Google Scholar 

  12. Reason, J.: Human Error. Cambridge University Press, Cambridge (1990)

    Google Scholar 

  13. Reason, J.: Managing the Risks of Organisational Accidents. Ashgate Publishing Limited (1997)

    Google Scholar 

  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. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, Englewood Cliffs (1996)

    MATH  Google Scholar 

  16. Stirling, C.: A generalisation of Owicki-Gries’s Hoare logic for a concurrent while language. TCS 58, 347–359 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  17. Stølen, K.: Development of Parallel Programs on Shared Data-Structures. PhD thesis, Manchester University (1990), available as UMCS-91-1-1

    Google Scholar 

  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. Xu, Q.: A Theory of State-based Parallel Programming. PhD thesis, Oxford University (1992)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, University of Newcastle, NE1 7RU, UK

    Cliff B. Jones

Authors
  1. Cliff B. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computer Science, University of Nottingham, NG8 1BB, Nottingham, England

    Roland Backhouse

  2. Dep. Informática, Universidade do Minho, Campus de Gualtar, P.O. Box, 4700-320, Braga, Portugal

    José Nuno Oliveira

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jones, C.B. (2000). Formal Methods and Dependability. In: Backhouse, R., Oliveira, J.N. (eds) Mathematics of Program Construction. MPC 2000. Lecture Notes in Computer Science, vol 1837. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722010_10

Download citation

  • DOI: https://doi.org/10.1007/10722010_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67727-7

  • Online ISBN: 978-3-540-45025-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation