Design of Dependable Computing Systems
This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to...
Main Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Dordrecht
Springer Netherlands
2002, 2002
|
Edition: | 1st ed. 2002 |
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 1. Introductory Elements: Dependability Issues
- 2. General Context
- 3. Failures and Faults
- 4. Faults and Their Effects
- 5. Fault and Error Models
- 6. Towards the Mastering of Faults and Their Effects
- 7. Dependability Assessment
- 8. Redundancy
- 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
- 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
- References