What is Destecs

From DestecsWiki

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. The consortium is 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.

Destecs aims to develop methods and tools that 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.