An executable subset of VDM-SL in an SA/RT framework

  title={An executable subset of VDM-SL in an SA/RT framework},
  author={Ren{\'e} Elmstr\om and Poul B\ogh Lassen and Michael Andersen},
  journal={Real-Time Systems},
In this article we present the executable specification language IPTES Meta-IV based on the formal specification language VDM-SL. The language has been fitted to work in an SA/RT framework and the article presents how it supports the specification of the data transformation part of SA/RT. Furthermore we present some of the advanced constructs of the language seen as an executable specification language in its own right. Finally we present how an IPTES Meta-IV interpreter is used in combination… CONTINUE READING
12 Citations
16 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 16 references

Software Development A Rigorous Approach

  • C. B. Jones
  • Englewood Cliffs, NJ: Prentice Hall International…
  • 1980
Highly Influential
3 Excerpts

VDM Specification Language - - Proto - Standard , Technical Report , British Standards Institution . 237 pages . BSI IST / 5 / 50 N - 231

  • R. Lintulampi, M. Pezze
  • 1991

Solution in Software Crisis

  • A. Auer, M. Levanto, A. Okkonen, J. Okkonen
  • IPTES Meta-IV, Proceedings of Euromicro
  • 1990

DESIGN / CPN , A Tool Package Supporting the Use of Colored Petri Nets

  • K. Albert, K. Jansen, A. R Shapiro
  • Petri Net Newsletter
  • 1989

DESIGN/CPN, A Tool Package Supporting the Use of Colored

  • K. Albert, K. Jansen, Shapiro, A.R
  • 1989

Execution of Ward's Transformation Schema on the Graphic Specification and Prototyping Tools SPECS

  • R Pulli, J. Dhter, Gisinger, H.R, A. Kfindig
  • Proc. COMPEURO-88 Conference
  • 1988

Similar Papers

Loading similar papers…