DanceOS is a joint project with the FAU Erlangen computer science department 4 and TU Braunschweig IBR, Distributed Systems Research Group, and part of the national focal program "Dependable Embedded Systems" (SPP-1500). The project's (now frozen) web site can be found at http://web.archive.org/web/20210122215142/http://www.danceos.org.
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.