Overture Tool
Formal Modelling in VDM
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 conveniently packaged as a VSCode extension.
Overture Tool Extensions:
 |
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. |
 |
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. |