Software Design for Resilient Computer Systems

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. The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further deve...

Full description

Bibliographic Details
Main Authors: Schagaev, Igor, Thomas, Kaegi (Author)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2016, 2016
Edition:1st ed. 2016
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
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
  • ERRIC Reliability