Software Design for Resilient Computer Systems

• Κύριοι συγγραφείς: Schagaev, Igor (Συγγραφέας), Kaegi-Trachsel, Thomas (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Έκδοση: 1st ed. 2016.
• Θέματα: Engineering.; Computer software > Reusability.; Software engineering.; Quality control.; Reliability.; Industrial safety.; Electrical engineering.; Electronic circuits.; Communications Engineering, Networks.; Circuits and Systems.; Software Engineering.; Performance and Reliability.; Quality Control, Reliability, Safety and Risk.

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

Πίνακας περιεχομένων:

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