Foundations of Dependable Computing System Implementation /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Koob, Gary M. (Editor), Lau, Clifford G. (Editor)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1994.
• Series: The Kluwer International Series in Engineering and Computer Science, 285
• Subjects: Computer science.; Microprocessors.; Special purpose computers.; Data structures (Computer science).; Computer Science.; Data Structures, Cryptology and Information Theory.; Special Purpose and Application-Based Systems.; Processor Architectures.; Computer Science, general.
• Online Access: View fulltext via EzAccess

Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fau...

Table of Contents:

• Dependable Components
• Self-Checking and Self-Exercising Design for Hierarchic Long-Life Fault-Tolerant Systems
• Design of Self-Checking Processors Using Efficient Berger Check Prediction Logic
• Dependable Communications
• Network Fault Detection and Recovery in the Chaos Router
• Real-Time Fault-Tolerant Communication in Distributed Computing Systems
• Computer Support
• Speculative Execution and Compiler-Assisted Multiple Instruction Recovery
• Compiler Assisted Synthesis of Algorithm-Based Checking in Multiprocessors1
• Operating System Support
• Application Transparent Fault Management in Fault Tolerant Mach
• Constructing Dependable Distributed Systems Using Consul
• Enhancing Fault Tolerance of Real-Time Systems through Time Redundancy.