Project Context

DanceOS is a joint project of

and part of the DFG Priority Program "Dependable Embedded Systems" (SPP-1500).


Future hardware designs for embedded systems are expected to exhibit an increasing rate of intermittent and permanent errors in exchange for smaller device sizes and lower energy consumption. This bears new challenges for system software, especially the operating system, which has to use and provide software measures to compensate for unreliable hardware. Designing, developing, and maintaining such software systems will become increasingly arduous.

The DanceOS project aims at providing dependability by the fine-grained and tailorable application of software-based fault-tolerance techniques. The vision is to achieve this by separating the implementation of these techniques from the functional parts of the software in a reusable way, allowing for use-case specific static or even run-time application of fault-tolerance measures to critical parts of the complete software stack.