The Crescendo Tool

Formal design and modelling using Co-Simulation

Go to our GitHub Profile

<

Follow @overturetool

The Crescendo Tool is an open-source tool originally developed in the EU DESTECS (Design Support and Tooling for Embedded Control Software) research project. The focus is on using co-simulation to design and modelling cyber-physical systems. The tool is based on the Overture platform and Controllab’s 20-sim. –>

Welcome to The Crescendo Tool

The Crescendo Tool is an open-source tool originally developed in the EU DESTECS (Design Support and Tooling for Embedded Control Software) research project. The focus is on using co-simulation to design and modelling cyber-physical systems. The tool is based on the Overture platform and Controllab’s 20-sim.

Co-design and co-modelling in Crescendo is described in the book “Collaborative Design for Embedded Systems”, which can be fetched from Springer’s web site.

The work carried out in EU DESTECS is continued in the EU INTO-CPS (INtegrated Tool chain for model-based design of CPSs) research project.

Tool preview
The current version is 2.0.x (May 2014) which you can download here.

Getting the code

All of the Crescendo is hosted on GitHub, in the @crescendotool organisation account. Everyone is welcome to grab it, fork it, and contribute.

The current stable version is 2.0.8 (May 2014) which you can [download here](http://crescendotool.org/download/).|
#### 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.
–>