Skip to main content
SpringerLink
Log in

Real-time refinement

  • Papers
  • Conference paper
  • First Online:
FME '93: Industrial-Strength Formal Methods (FME 1993)

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

Included in the following conference series:

Abstract

The refinement calculus is extended for real-time system development. Heuristic rules for deriving high-level designs from Z specifications are also given. A detailed example of real-time refinement is presented.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V.K. Haase. Real-time behavior of programs. IEEE Transactions on Software Engineering, SE-7(5):494–501, September 1981.

    Google Scholar 

  2. C.B. Jones. Interference resumed. In Proc. 6th Australian Software Engineering Conference, pages 31–55, Sydney, July 1991.

    Google Scholar 

  3. S. King. Z and the refinement calculus. In D. Bjørner, C.A.R. Hoare, and H. Longmaack, editors, Proc. VDM'90, volume 428 of Lecture Notes in Computer Science, pages 164–188. Springer-Verlag, April 1990.

    Google Scholar 

  4. B.P. Mahony and I.J. Hayes. A case-study in timed refinement: A mine pump. IEEE Transactions on Software Engineering, 18(9):817–826, September 1992.

    Article  Google Scholar 

  5. C. Morgan. Programming from Specifications. Prentice-Hall, 1990.

    Google Scholar 

  6. E.-R. Olderog. Towards a design calculus for communicating programs. In J.C.M. Baeten and J.F. Groote, editors, Concur'91, volume 527 of Lecture Notes in Computer Science, pages 61–77. Springer-Verlag, 1991.

    Google Scholar 

  7. P. Puschner and Ch. Koza. Calculating the maximum execution time of real-time programs. Journal of Real-Time Systems, 1(2):159–176, September 1989.

    Article  Google Scholar 

  8. A.C. Shaw. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering, 15(7):875–889, July 1989.

    Article  Google Scholar 

  9. J.M. Spivey. The Z Notation: A Reference Manual Prentice Hall International, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Verification Research Centre, The University of Queensland, QLD 4072, Australia

    Colin Fidge

Authors
  1. Colin Fidge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

James C. P. Woodcock Peter G. Larsen

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fidge, C. (1993). Real-time refinement. In: Woodcock, J.C.P., Larsen, P.G. (eds) FME '93: Industrial-Strength Formal Methods. FME 1993. Lecture Notes in Computer Science, vol 670. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024654

Download citation

  • DOI: https://doi.org/10.1007/BFb0024654

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56662-5

  • Online ISBN: 978-3-540-47623-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation