Real-time refinement

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


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.


Execution Time Heuristic Rule Abstract Behavioural Specification Refinement Rule Refinement Calculus 
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.
    V.K. Haase. Real-time behavior of programs. IEEE Transactions on Software Engineering, SE-7(5):494–501, September 1981.Google Scholar
  2. 2.
    C.B. Jones. Interference resumed. In Proc. 6th Australian Software Engineering Conference, pages 31–55, Sydney, July 1991.Google Scholar
  3. 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. 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.CrossRefGoogle Scholar
  5. 5.
    C. Morgan. Programming from Specifications. Prentice-Hall, 1990.Google Scholar
  6. 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. 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.CrossRefGoogle Scholar
  8. 8.
    A.C. Shaw. Reasoning about time in higher-level language software. IEEE Transactions on Software Engineering, 15(7):875–889, July 1989.CrossRefGoogle Scholar
  9. 9.
    J.M. Spivey. The Z Notation: A Reference Manual Prentice Hall International, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Colin Fidge
    • 1
  1. 1.Software Verification Research CentreThe University of QueenslandAustralia

Personalised recommendations