Design of Dependable Computing Systems

Design of Dependable Computing Systems by J.C. Geffroy, G. Motet.

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

Saved in:
Bibliographic Details
Main Authors: Geffroy, J.C (Author), Motet, G. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2002.
Edition:1st ed. 2002.
Series:Springer eBook Collection.
Subjects:
Computer-aided engineering.
Special purpose computers.
Electrical engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
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.

Similar Items