Crescendo
Modelling techniques used by hardware and software engineers are difficult to integrate. As a result, the software constituents and the hardware constituents that comprise a CPS are typically designed separately by distinct design teams, hindering the design of dependable and cost-effective CPSs. A collaborative design process, that brings together the software and hardware models at an early stage, could help with identifying design flaws (e.g., where incorrect assumptions have been made by the separate teams), or for designing complex behaviour (e.g., fault tolerance in a noisy or distributed environment).
Crescendo is a "collaborative simulation" (co-simulation) engine which allows hardware and software engineers to design collaboratively. Each team can use their own modelling tools, but Crescendo allows them to execute co-ordinated simulations at an early stage in the design process. This is particularly helpful for helping teams design and debug complex system behaviour. Crescendo supports software models written in the VDM modelling language, and hardware models created using the 20-Sim tool.
Read our case studies of businesses which have employed Crescendo techiques in their modelling approaches:
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.
Contact us to talk about Crescendo and its benefits for businesses.
