Design of Dependable Computing Systems by J.C. GeffroyDesign of Dependable Computing Systems by J.C. Geffroy

Design of Dependable Computing Systems

byJ.C. Geffroy, G. Motet

Paperback | October 8, 2011

Pricing and Purchase Info


Earn 960 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the delivered service. For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable. Hence, it is necessary to take dependability attributes into account, along the product lifecycle. This book aims at providing a general overview of the dependability of computing systems: impairments and protective means. Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies. An important pedagogical effort has been made: the explanations are illustrated by 370 figures, 80 examples, and 97 exercises with complete answers. A glossary of more than 500 entries defines the important terms.
Title:Design of Dependable Computing SystemsFormat:PaperbackDimensions:672 pages, 23.5 × 15.5 × 0.02 inPublished:October 8, 2011Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048159415

ISBN - 13:9789048159413

Look for similar items by category:


Table of Contents

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.