Logo - springer
Slogan - springer

Computer Science - Information Systems and Applications | Design of Dependable Computing Systems

Design of Dependable Computing Systems

Geffroy, J.C., Motet, Gilles

2002, XIX, 672 p.

Available Formats:
eBook
Information

Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.

You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.

After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.

 
$109.00

(net) price for USA

ISBN 978-94-015-9884-2

digitally watermarked, no DRM

Included Format: PDF

download immediately after purchase


learn more about Springer eBooks

add to marked items

Hardcover
Information

Hardcover version

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$139.00

(net) price for USA

ISBN 978-1-4020-0437-7

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

Softcover
Information

Softcover (also known as softback) version.

You can pay for Springer Books with Visa, Mastercard, American Express or Paypal.

Standard shipping is free of charge for individual customers.

 
$139.00

(net) price for USA

ISBN 978-90-481-5941-3

free shipping for individuals worldwide

usually dispatched within 3 to 5 business days


add to marked items

  • About this book

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 say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: • A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.

Content Level » Research

Keywords » Hardware - Software - design - development - fault tolerance - mechanism - microprocessor - stability - system

Related subjects » Communication Networks - Electronics & Electrical Engineering - Information Systems and Applications

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.

Popular Content within this publication 

 

Articles

Read this Book on Springerlink

Services for this book

New Book Alert

Get alerted on new Springer publications in the subject area of Computer-Aided Engineering (CAD, CAE) and Design.