Application and system-level software fault tolerance through full system restarts
Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo · 2017
Due to the growing performance requirements, embedded systems are increasingly more complex. Meanwhile, they are also expected to be reliable. Guaranteeing reliability on complex systems is very challenging. Consequently, there is a substantial need for designs that enable the use of unverified components such as real-time operating system (RTOS) without requiring their correctness to guarantee safety.