Skip to main content
SpringerLink
Log in

Adding real time to formal program development

  • Papers
  • Conference paper
  • First Online:
FME '94: Industrial Benefit of Formal Methods (FME 1994)

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

Included in the following conference series:

Abstract

Rules are presented for efficiently adding real-time requirements to existing functional program refinements.

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. R-J. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12(1):17–30, 1991.

    Google Scholar 

  2. V. Blázquez, L. Redondo, and J.L. Freniche. Experiences with delay until for avionics computers. Ada Letters, XII(1):65–72, Jan/Feb 1992.

    Google Scholar 

  3. A. Burns and A. Wellings. Real-Time Systems and their Programming Languages. Addison-Wesley, 1990.

    Google Scholar 

  4. C. Fidge. Proof obligations for real-time refinement. In Proc. Sixth BCS FACS Refinement Workshop, London, January 1994.

    Google Scholar 

  5. E. Gabber, A. Averbuch, and A. Yehudai. Portable, parallelizing pascal compiler. IEEE Software, pages 71–81, March 1993.

    Google Scholar 

  6. P. Gopinath, T. Bihari, and R. Gupta. Compiler support for object-oriented realtime software. IEEE Software, 9(5):45–50, September 1992.

    Google Scholar 

  7. M.J.C. Gordon. State transition assertions: A case study. Draft chapter for Towards Verified Systems edited by J. Bowen, October 1993.

    Google Scholar 

  8. D. Gries. The Science of Programming. Springer-Verlag, 1981.

    Google Scholar 

  9. E.C.R. Hehner. A Practical Theory of Programming. Springer-Verlag, 1993.

    Google Scholar 

  10. J. Hooman. Compositional verification of distributed real-time systems. In Proc. School on Formal Techniques in Real-Time and Fault-Tolerant Systems, University of Nijmegen, The Netherlands, January 1992.

    Google Scholar 

  11. R. Kurki-Suonio. Stepwise design of real-time systems. IEEE Trans. Software Engineering, 19(1):56–69, January 1993.

    Google Scholar 

  12. 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.

    Google Scholar 

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

    Google Scholar 

  14. F. Nielson and H.R. Nielson. Forced transformation of occam programs. Information and Software Technology, 34(2):91–96, February 1992.

    Google Scholar 

  15. C.Y. Park and A.C. Shaw. Experiments with a program timing tool based on source-level timing schema. In Proc. IEEE Real-Time Systems Symposium, pages 72–81, Florida, December 1990.

    Google Scholar 

  16. B. Potter, J. Sinclair, and D. Till. An Introduction to Formal Specification and Z. Prentice-Hall, 1991.

    Google Scholar 

  17. D. Scholefield, H. Zedan, and H. Jifeng. Real-time refinement: Semantics and application. In A. Borzyszkowski and S. Sokolowski, editors, Mathematical Foundations of Computer Science 1993, volume 711 of Lecture Notes in Computer Science, pages 693–702. Springer-Verlag, 1993.

    Google Scholar 

  18. J.B. Wordsworth. Software Development with Z. Addison-Wesley, 1992.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Software Verification Research Centre, Department of Computer Science, The University of Queensland, 4072, Queensland, Australia

    Colin Fidge

Authors
  1. Colin Fidge
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Maurice Naftalin Tim Denvir Miquel Bertran

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fidge, C. (1994). Adding real time to formal program development. In: Naftalin, M., Denvir, T., Bertran, M. (eds) FME '94: Industrial Benefit of Formal Methods. FME 1994. Lecture Notes in Computer Science, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58555-9_119

Download citation

  • DOI: https://doi.org/10.1007/3-540-58555-9_119

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58555-8

  • Online ISBN: 978-3-540-49031-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation