Role of VDM(++) in the development of a real-time tracking and tracing system

  • E. H. Dürr
  • E. M. Dusink
Industrial Usage Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 670)


This article describes our experience with the use of the formal specification languages VDM and VDM++, in the evolutionary development of a real-time distributed system for the tracing and tracking of load-units in combined road-rail traffic.


Proof Obligation Freight Transport Object Orient Design Alarm Message Irish School 
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. [Air91]
    Micheàl Mac an Airchinnigh, Tutorial Lecture Notes on the Irish School of the VDM, VVDM'91 Formal Software Development Methods vol 2, Lecture Notes in Computer Science nr. 552, Springer Verlag Berlin, Germany.Google Scholar
  2. [Boehm89]
    Barry W. Boehm, Software Risk Management, IEEE Computer Society Press nr. 1906, Washington, USA.Google Scholar
  3. [Cell88]
    W. Cellary, E. Gelenbe, T. Morzy, Concurrency Control in Distributed Database Systems, Studies in Computer Science and AI nr. 3, North-Holland, Elseviers Science Publishers, Amsterdam, 1988.Google Scholar
  4. [Combi92]
    CombiCom Internal Deliverable S.1.X, Formal specification of the CombiCom architecture, CombiCom Consortium.Google Scholar
  5. [Dürr91]
    E.H. Dürr, VDM++, Language Reference manual, Utrecht University, Faculty of Physics and Astronomy, Internal Report RUU-FI-91-6.Google Scholar
  6. [Dürr92a]
    E.H. Dürr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, Conference Proceedings Tools Euro '92 in Technology of Object-Oriented Languages and Systems,Tools 7, Prentice Hall International, 1992.Google Scholar
  7. [Dürr92b]
    E.H. Dürr and J. van Katwijk, VDM++, A Formal Specification Language for Object Oriented Designs, IEEE Conference Proceedings CompEuro '92 in Computer Systems ans Software Engineering, IEEE Computer Society Press nr 2760, California, 1992.Google Scholar
  8. [Holz89]
    R. Holzapfel, G. Winterstein, Ada in safety critical applications, Ada in Industry, proceedings of the Ada-Europe Conference 1988, Cambridge University Press, Great Britain.Google Scholar
  9. [Jones90]
    C.B. Jones, Systematic Software Development using VDM, Prentice Hall International second edition, 1990.Google Scholar
  10. [Jones91]
    C.B. Jones, K.D. Jones, P.A. Lindsay, R. Moore, Mural, A Formal Development Support System, Springer Verlag, London, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • E. H. Dürr
    • 1
    • 2
  • E. M. Dusink
    • 1
  1. 1.Cap Gemini InnovationRijswijkThe Netherlands
  2. 2.Department for Computers and PhysicsUtrecht UniversityThe Netherlands

Personalised recommendations