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.


Research topics

  • Formal methods
  • Discrete event modelling
  • Continuous-time modeling
  • Analysis
  • Co-simulation
  • Design space exploration