Foundations of Dependable Computing System Implementation
Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application,...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
1994, 1994
|
| Edition: | 1st ed. 1994 |
| Series: | The Springer International Series in Engineering and Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
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