Skip to main content
SpringerLink
Log in
Book cover

European Conference on Object-Oriented Programming

ECOOP 1997: Object-Oriented Technologys pp 436–445Cite as

Formalising Real-time System Design

  • Conference paper
  • First Online:

  • 332 Accesses

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

Abstract

This paper identifies ways in which formal real-time notations (VDM++) real-time design methods (HRT-HOOD) and simulation tools (gPROMS) can be combined in practical developments.

The benefits of such a combination include that a precise semantics can be attached to specifications in HRT-HOOD using the VDM++ notation and that HRT-HOOD guidelines on structuring and decomposition can be used for VDM++ specifications and designs. Abstract real-time specifications can also be animated at an early development stage to validate them against requirements.

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. P I Barton, E Smith and C C Pantelides. Combined Discrete/Continuous Process Modelling Using gPROMS, 1991 AIChE Annual Meeting: Recent Advances in Process Control, Los Angeles, 1991.

    Google Scholar 

  2. A Burns and A Wellings. HRT-HOOD: A structured design method for hard real-time systems. Real-Time Systems, 6(1):73–114, January 1994.

    Article  Google Scholar 

  3. E Durr, S Goldsack, and J van Katjwick. Specification of a cruise controller in VDM++. In Proceedings of Real Time OO Workshop, ECOOP 96, 1996.

    Google Scholar 

  4. K. Lano, S. Goldsack, J. Bicarregui, S. Kent, Integrating VDM++ and Real-time System Design, Z User Meeting 1997, LNCS.

    Google Scholar 

  5. K Lano. Refinement and Simulation of Real-time and Hybrid Systems using VDM ++ and gPROMS, ROOS project report GR/K68783-13, November 1996, Dept. of Computing, Imperial College.

    Google Scholar 

  6. Z Manna and A Pnueli. Time for concurrency. Technical report, Dept. of Computer Science, Stanford University, 1992.

    Google Scholar 

  7. PRESTO P4 Project. Integrated Design of Control and Automation Systems, PRESTO Document 200197A11, Centre for Process Systems Engineering, Imperial College, 1997.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computing, Imperial College, 180 Queens Gate, London, SW7 2BZ, UK

    K. Lano & S. Goldsack

Authors
  1. K. Lano
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. Goldsack
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Business Administration, University of Karlskrona/Ronneby, S-372 25, Ronneby, Sweden

    Jan Bosch

  2. Department of Computer Science, University of York, York, YO1 5DD, UK

    Stuart Mitchell

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lano, K., Goldsack, S. (1998). Formalising Real-time System Design. In: Bosch, J., Mitchell, S. (eds) Object-Oriented Technologys. ECOOP 1997. Lecture Notes in Computer Science, vol 1357. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69687-3_81

Download citation

  • DOI: https://doi.org/10.1007/3-540-69687-3_81

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64039-4

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation