Software Design for Resilient Computer Systems / by Igor Schagaev, Eugene Zouev, Kaegi Thomas.

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the new...

Full description

Saved in:
Bibliographic Details
Main Author: Schagaev, Igor
Other Authors: Zouev, Eugene, Thomas, Kaegi
Format: eBook
Language:English
Published: Cham : Springer International Publishing, Imprint Springer. 2020 :
Edition:2nd ed. 2020.
Subjects:
Online Access:Click for online access
Table of Contents:
  • Introduction
  • Hardware 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
  • Reliability of ERRIC
  • Performance of ERRIC
  • ERRIC Software
  • How about resilience at large
  • Map of Resilience.