Software Design for Resilient Computer Systems

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.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia das comunicações e telecomunicações
• Sistemas de segurança e alarme contra incêndios
• Circuitos e componentes
• Engenharia do software
• Hardware do computador

ERRIC architecture;Extreme reliability;Fault tolerance;Hardware and software reliability;Hardware and software resilience;Hardware deficiency;Hardware faults;Reliability engineering;Software for hardware efficiency;quality control, reliability, safety and risk