Aarhus University Seal / Aarhus Universitets segl

Design Support and Tooling for Embedded Control Software

DESTECS (Design Support and Tooling for Embedded Control Software) is a consortium of research groups and companies working on the challenge of developing fault-tolerant embedded systems. We are focussed on developing design methods and tools that bridge the gap between the disciplines involved in designing an embedded system: systems, control, mechanical and software engineering, for example. These disciplines, which have grown up separately, base design on different forms of model - some use discrete event models, and some use continuous time - inhibiting our ability to compare design alternatives rapidly and in particular to model faults and fault tolerance mechanisms that have to cross the boundaries between models. This “design gap” leads to sub-optimal designs and long development lead times.

We aim to develop methods and tools that combine continuous time system models with discrete event controller models through co-simulation to allow multidisciplinary modelling, including modelling of faults and fault tolerance mechanisms. The analysis of these effects at every stage in a design process will help to build more dependable real-time embedded systems.

DESTECS scheme. Figure: DESTECS

The DESTECS consortium received EU funding under Call 4 of FP7. This EU-funded project DESTECS has started on 1-1-2010.

The DESTECS Tool is now the Crescendo Tool

The DESTECS Tool has been rebranded to The Crescendo Tool, and updated to use the latest Overture and 2-sim versions as its basis. Please go to the Crescendo Tool webpage to download the most recent version of the tool suite, user manuals, and examples.