Transformational formal development of real-time systems

  • K. Lano
  • A. Sanchez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1231)


This paper presents techniques for the transformational formal development of reactive and real-time systems, using a combination of the VDM++ formal method and the HRT-HOOD method. A case study of a chemical control system is used to illustrate the techniques.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M Awad, J Kuusela, and J Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996.Google Scholar
  2. 2.
    B-Toolkit Manual, B-Core UK Ltd., Magdalen Centre, Oxford Science Park, OX4 4GA, 1996.Google Scholar
  3. 3.
    A Burns and A Wellings. HRT-HOOD: A structured design method for hard realtime systems. Real-Time Systems, 6(1):73–114, January 1994.CrossRefGoogle Scholar
  4. 4.
    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
  5. 5.
    E Gamma, R Helm, R Johnson and J Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, 1994.Google Scholar
  6. 6.
    R Gerber, S Hong, Compiler Support for Real-Time Programs, Chapter 15 of Advances in Real-Time Systems, S. H. Son (Ed.), Prentice Hall 1996.Google Scholar
  7. 7.
    S Goldsack, K Lano. Annealing, Object Decomposition and Design Patterns, TOOLS Pacific 1996, Melbourne, Australia, 1996.Google Scholar
  8. 8.
    K Lano, J Bicarregui, S Goldsack. Formalising Design Patterns, Northern Formal Methods Workshop, Ilkly, 1996.Google Scholar
  9. 9.
    K Lano. Specification of a Chemical Process Controller in VDM ++ and B, ROOS Project Document GR/K68783-11, September 1996.Google Scholar
  10. 10.
    K Lano, S Goldsack, J Bicarregui, S Kent. Integrating VDM ++ and Real-time System Design, Z User Meeting 1997.Google Scholar
  11. 11.
    G Lowe and H Zedan. Refinement of complex systems: A case study. The Computer Journal, 38(10):785–800, 1995.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • K. Lano
    • 1
  • A. Sanchez
    • 2
  1. 1.Dept. of ComputingImperial CollegeLondonUK
  2. 2.Centre for Process Systems EngineeringImperial CollegeUK

Personalised recommendations