Design techniques to improve the resilience of computing systems: software layer

Hardware techniques to improve the robustness of a computing system can be very expensive, difficult to implement and validate. Moreover, they require long evalua- tion processes that could lead to the redesign of the hardware itself when reliability requirements are not satisfied. This chapter will cover the software techniques that allow improving the tolerance of the system to hardware faults by acting at soft- ware level only. We will cover the recently proposed approaches to detect and correct transient and permanent faults.