Skip to main content
SpringerLink
Log in

A Case Study in Timed Refinement: A Central Heater

  • Conference paper
Book cover 4th Refinement Workshop

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

Abstract

The refinement calculus is proving a useful tool for the specification and refinement of sequential processes. In this paper we contend that it is also useful in the timed case. This paper displays the use of the refinement calculus for a small embedded system.

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

Access this chapter

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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. R. J. R. Back and J. von Wright. Refinement calculus, part I: Sequential nondeterministic programs. Technical Report Ser. A, No 92, Institute fiir Informationsbehandling, Lemminkâinengatan, 1989.

    Google Scholar 

  2. I. J. Hayes, editor. Specification Case Studies. Prentice Hall International, 1987.

    Google Scholar 

  3. B. P. Mahony and I. J. Hayes. Generalising the specification statement to real-time. Department of Computer Science, University of Queensland, 1990.

    MATH  Google Scholar 

  4. C. C. Morgan, K. A. Robinson, and P. Gardiner. On the refinement calculus. Technical Monograph PRG-70, Oxford University Programming Research Laboratory, 1988.

    Google Scholar 

  5. C.C. Morgan. The specification statement. ACM Trans. Prog. Lang. and Sys.,10(3), July 1988. Reprinted in [4].

    Google Scholar 

  6. J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9, 1987.

    Google Scholar 

  7. H. L. Royden. Real Analysis. Macmillan Publishing Co., Inc., second edition, 1968.

    Google Scholar 

  8. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Queensland, St. Lucia, 4072, Australia

    Brendan Mahony & Ian Hayes

Authors
  1. Brendan Mahony
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ian Hayes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing Science, University of Glasgow, G12 8QQ, Glasgow, Scotland

    Joseph M. Morris PhD

  2. Lloyd’s Register House, Lloyd’s Register of Shipping, 29 Wellesley Road, CR0 2AJ, Croydon, Surrey, UK

    Roger C. Shaw

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mahony, B., Hayes, I. (1991). A Case Study in Timed Refinement: A Central Heater. In: Morris, J.M., Shaw, R.C. (eds) 4th Refinement Workshop. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3756-6_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3756-6_8

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19657-0

  • Online ISBN: 978-1-4471-3756-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation