We provide EU funding and world-class technical support to engineering and technology businesses.

Find out more about who we are and what we do

Stay in Touch

EventBrite logo Twitter logo RSS logo Linked In  logo Email us

Join our mailing list

Join our mailing list to receive notification of CPSE Labs events and upcoming calls

Smart Anything Everywhere

Cyber-Physical Systems Engineering Labs is part of the Smart Anything Everywhere initiative.

This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 644400.


We support a range of modelling tools and techniques underpinned by Overture, a tool designed to support modelling in the VDM (Vienna Development Method) modelling notation. The Overture tool is an open-source integrated development environment for developing and analysing VDM models, written in Java and built on top of the Eclipse platform. Overture forms the basis of several other toolsuites that provide support for a range of modelling scenarios, including the Crescendo toolsuite.

Further reading

Training in the use of VDM (used to create models of software controllers), the 20-sim tool (used for creating continuous-time plant models), SysML or the Crescendo engine can be provided for experiments targeting this platform. Your experiment proposal should indicate where this is required.

Read more about Overture, and download the Overture VDM modelling tool, at the Overture Community homepage.

The Crescendo approach is described in the book Collaborative Design for Embedded Systems, which is available in electronic format or hard copy, whilst downloadable documentation is available at the Crescendo tool homepage. Crescendo was developed by the European-Union funded DESTECS project and is one of the selected platforms for the integrated tool chain currently being developed by the INTO-CPS H2020 project.

Crescendo logo

using the Overture platform

using the Overture platform

Design centre

This platform is supported by our UK design centre.

UK design centre