Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
Thomas, Kaegi; Schagaev, Igor
Springer International Publishing AG
03/2019
214
Mole
Inglês
9783319805795
15 a 20 dias
454
Faults.- Fault Tolerance: Theory and Concepts.- Generalized Algorithm of
Fault Tolerance (GAFT).- GAFT Generalization: A
Principle and Model of Active System Safety.- System Software Support for Hardware Deficiency: Function and
Features.- Testing and
Checking.- Recovery Preparation.- Recovery: Searching and Monitoring
of Correct Software States.- Recovery Algorithms:
An Analysis.- Programming Language for Safety Critical Systems.- Proposed Runtime System Structure.- Proposed Runtime System vs. Existing Approaches.- Hardware:
The ERRIC Architecture.- Architecture Comparison and Evaluation.- ERRIC Reliability.
Faults.- Fault Tolerance: Theory and Concepts.- Generalized Algorithm of
Fault Tolerance (GAFT).- GAFT Generalization: A
Principle and Model of Active System Safety.- System Software Support for Hardware Deficiency: Function and
Features.- Testing and
Checking.- Recovery Preparation.- Recovery: Searching and Monitoring
of Correct Software States.- Recovery Algorithms:
An Analysis.- Programming Language for Safety Critical Systems.- Proposed Runtime System Structure.- Proposed Runtime System vs. Existing Approaches.- Hardware:
The ERRIC Architecture.- Architecture Comparison and Evaluation.- ERRIC Reliability.