This classic reference work is a comprehensive guide to the design, evaluation, and use of reliable computer systems. It includes case studies of reliable systems from manufacturers, such as Tandem, Stratus, IBM, and Digital. It covers special systems such as the Galileo Orbiter fault protection system and AT&T telephone switching system processors.
I: The Theory of Reliable System Design 1. Fundamental Concepts 2. Faults and Their Manifestations 3. Reliability Techniques 4. Maintainability and Testing Techniques 5. Evaluation Criteria 6. Financial Considerations II: The Practice of Reliable System Design 7. General-Purpose Computing 8. High-Availability Systems 9. Long-Life Systems 10. Critical Computations III: A Design Methodology and Example of Dependable System Design 11. A Design Methodology