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...

Full description

Bibliographic Details
Main Authors: Geffroy, J.C., Motet, G. (Author)
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