Software Design for Resilient Computer Systems

The book "Software Design for Resilient Computer Systems" offers a comprehensive analysis of the design of system software aimed at fault tolerance. The authors examine how system software interacts with hardware to tolerate errors and maximize reliability. They delve into the theory of fault tolerance and develop the General Algorithm for Fault Tolerance (GAFT), which encompasses three main processes: hardware checking, recovery preparation, and the recovery process. For each of these processes, theoretical requirements and characteristics are analyzed, as well as possible implementation scenarios and the necessary support from the system software. Additionally, a programming language based on Oberon is derived that directly supports the three GAFT processes. In the final part of the book, a simulator is presented that serves as a proof-of-concept for a novel fault-tolerant processor architecture (ERRIC), analyzing its features and performance. The content is relevant for various industries, including military, aerospace, healthcare, industrial control, and space exploration.