Semantics of the VDM Real-Time Dialect

Authors

  • Kenneth Lausdahl Department of Engineering, Aarhus University
  • Joey W. Coleman Department of Engineering, Aarhus University
  • Peter Gorm Larsen Department of Engineering, Aarhus University

Keywords:

Vienna Development Method, VDM, real-time, VDM-RT

Abstract

All formally defined languages need to be given an unambiguous semantics such that the meaning of all models expressed using the language is clear. In this technical report a semantic model is provided for the Real-Time dialect of the Vienna Development Method (VDM). This builds upon both the formal semantics provided for the ISO standard VDM Specification Language, and on other work on the core of the VDM-RT notation. Although none of the VDM dialects are executable in general, the primary focus of the work presented
here is on the executable subset. This focus is result of parallel work on an interpreter implementation for VDM-RT that chooses one of the pos-sible interpretations of a given model that is expressed in VDM-RT, based on the semantics presented here.

Downloads

Published

2013-04-02

How to Cite

Lausdahl, K., Coleman, J. W., & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Technical Report Electronics and Computer Engineering, 2(13). Retrieved from https://tidsskrift.dk/ece/article/view/21228

Issue

Vol. 2 No. 13 (2013): Semantics of the VDM Real-Time Dialect

Section

Reports

License

Reproduction permitted provided the source is explicitly acknowledged.

The authors have all rights to the reports.