Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

Overview

The Overture community supports the modelling method The Vienna Development Method (VDM) which is a set of modelling techniques that have a long and successful history in both research and industrial application in the development of computer-based systems.

The Overture Tool is an open-source integrated development environment (IDE) for developing and analysing VDM models. The tool suite is written entirely in Java and built on top of the Eclipse platform.

Tool preview

The current stable version is 2.0.8 (May 2014) which you can download here.

Extensions:

Cresendo Tool The Cresendo Tool uses the Overture platform and Controllab’s 20-sim to perform co-simulations that can be used in the analysis and development of cyber-physical systems.
Symphony Tool The Symphony Tool extends part of the Overture Tool in order to support the CML language, which is aimed at describing and analysing Systems of Systems.