Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

NetMeeting Default Template

Date 12 March 2017, 13:00 CET
Participants PGL, LDC, HM, KP, NB, NP, SH, TO. Minutes by KP.

Review Status of the Action List

See Net Meeting Actions

Overture Language Board Status

RM39: Equality and Order Clauses for Type Definitions

There has been no Community input on RM39. Please join the discussion here https://github.com/overturetool/language/issues/39#issuecomment-267935090 before the next core meeting (April 23rd 2017).

Working Groups

The LB have established two working groups (WGs) to progress cross-cutting language and tool issues. The idea is to have a leader for each group and an issue on the tracker as the main place for dicsussion. LB and Community members can then join groups to help progress things. There will be a wiki page listing the groups, leaders, members and links to each issue. The first two WGs are POG led by NB and community libraries led by KP.

Wiki pages

The LB will undertake a refresh of the wiki pages to reflect the new WG idea and tidy up some problems that occured in the move to github.

Status of VDMTools Development

No members from Japan could attend today so this item was not discussed.

Status of the Overture Components


4.0.0 Build 170308, Improved support for multi-threaded debugging

Support for command-line multi-threaded debugging in VDMJ has always been poor. This fix enables such debugging to be roughly the same as the remote debugging client (ie. Overture’s debugger).


We (VB, PJ and MH) are happy to announce the first major release of the VDM to C code generator. This version addresses the critical issue of RAM and flash usage on the embedded microcontrollers used in INTO-CPS. The generated code makes use of a garbage collector, which must be called manually. Instructions on how to do this are included in the release notes. This version does not yet include support for the distributed constructs of VDM-RT. The next release of the Overture FMU exporter will include this release of VDM2C.


We (KL and PJ) have added a Frequently Asked Questions (FAQ) section to the overturetool.org website. Currently it addresses the issues that MacOS Sierra users may experience when they try to open a freshly downloaded version of Overture.

Release Planning

Overture version 2.4.6 is out. See the release notes for a description of what has changed since the last release.

Next release of Overture, version 2.4.8, is due by June 5, 2017.

Community Development

Overture Traffic

See download stats on the downloads page

Business Model

We welcomed the input from Graeme Young, but are not clear exactly what the next steps should be, nor exactly on the goal (making an income from Overture, update of formal modelling, etc.). The suggestion is to have a dedicated workshop, and perhaps ask Graeme to clarify what he would need us to present to him as a next iteration on the idea, to focus the outcome of such a workshop. KP will try to arrange to meet Graeme with NP and PGL via video link.

Strategic Research Agenda

The Strategic Research Agenda is reviewed every other NetMeeting.

Publications Status and Plans

See Planned Publications.

Any Other Business