Software Design for Resilient Computer Systems

1. Introduction
Igor Schagaev, Thomas Kaegi-Trachsel

2. Hardware Faults
Igor Schagaev, Thomas Kaegi-Trachsel

3. Fault Tolerance: Theory and Concepts
Igor Schagaev, Thomas Kaegi-Trachsel

4. Generalized Algorithm of Fault Tolerance (GAFT)
Igor Schagaev, Thomas Kaegi-Trachsel

5. GAFT Generalization: A Principle and Model of Active System Safety
Igor Schagaev, Thomas Kaegi-Trachsel

6. System Software Support for Hardware Deficiency: Function and Features
Igor Schagaev, Thomas Kaegi-Trachsel

7. Testing, Checking, and Hardware Syndrome
Igor Schagaev, Thomas Kaegi-Trachsel

8. Recovery Preparation
Igor Schagaev, Thomas Kaegi-Trachsel

9. Recovery: Searching and Monitoring of Correct Software States
Igor Schagaev, Thomas Kaegi-Trachsel

10. Recovery Algorithms: An Analysis
Igor Schagaev, Thomas Kaegi-Trachsel

11. Programming Language for Safety Critical Systems
Igor Schagaev, Thomas Kaegi-Trachsel

12. Proposed Run-Time System Structure
Igor Schagaev, Thomas Kaegi-Trachsel

13. Proposed Run-Time System Versus Existing Approaches
Igor Schagaev, Thomas Kaegi-Trachsel

14. Hardware: The ERRIC Architecture
Igor Schagaev, Thomas Kaegi-Trachsel

15. Architecture Comparison and Evaluation
Igor Schagaev, Thomas Kaegi-Trachsel

16. ERRIC Reliability
Igor Schagaev, Thomas Kaegi-Trachsel

Keywords: Engineering, Communications Engineering, Networks, Circuits and Systems, Software Engineering, Performance and Reliability, Quality Control, Reliability, Safety and Risk