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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Schagaev, Igor (Autor), Thomas, Kaegi (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Temas:
Telecommunication.
Electronic circuits.
Software engineering.
Computers.
Security systems.
Communications Engineering, Networks.
Electronic Circuits and Systems.
Software Engineering.
Hardware Performance and Reliability.
Security Science and Technology.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares