Kaegi-Trachsel, Thomas
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
Avainsanat: Engineering, Communications Engineering, Networks, Circuits and Systems, Software Engineering, Performance and Reliability, Quality Control, Reliability, Safety and Risk
- Tekijä(t)
- Kaegi-Trachsel, Thomas
- Schagaev, Igor
- Julkaisija
- Springer
- Julkaisuvuosi
- 2016
- Kieli
- en
- Painos
- 1st ed. 2016
- Sivumäärä
- 14 sivua
- Kategoria
- Tekniikka, energia, liikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9783319294650
- Painetun ISBN
- 978-3-319-29463-6