Design of Dependable Computing Systems

Preface. 1. Introductory Elements: Dependability Issues. First Part: Destructive Mechanisms. 2. General Context. 3. Failures and Faults. 4. Faults and their Effects. 5. Fault and Error Models. Second Part: Protective Mechanisms. 6. Towards the Mastering of Faults and their Effects. 7. Dependability Assessment. 8. Redundancy. Third Part: Fault Avoidance Means. 9. Avoidance of Functional Faults During Specification. 10. Avoidance of Functional Faults During Design. 11. Prevention of Technological Faults. 12. Removal of Technological Faults. 13. Structural Testing Methods. 14. Design for Testability. Fourth Part: Fault Tolerance Means. 15. Error Detecting and Correcting Codes. 16. On-Line Testing. 17. Fail-Safe Systems. 18. Fault-Tolerant Systems. 19. Conclusions. Appendix A: Error Detecting and Correcting Codes. Appendix B: Reliability Block Diagrams. Appendix C: Testing Features of a Microprocessor. Appendix D: Study of a Software Product. Appendix E: Answer to the Exercises. Glossary. References. Index.