Design of Dependable Computing Systems

  • Jean-Claude Geffroy
  • Gilles Motet

Table of contents

  1. Front Matter
    Pages i-xix
  2. Introductory Elements: Dependability Issues

    1. Jean-Claude Geffroy, Gilles Motet
      Pages 1-14
  3. Destructive Mechanisms

    1. Front Matter
      Pages 15-15
    2. Jean-Claude Geffroy, Gilles Motet
      Pages 17-38
    3. Jean-Claude Geffroy, Gilles Motet
      Pages 39-68
    4. Jean-Claude Geffroy, Gilles Motet
      Pages 69-87
    5. Jean-Claude Geffroy, Gilles Motet
      Pages 89-117
  4. Protective Mechanisms

    1. Front Matter
      Pages 119-119
    2. Jean-Claude Geffroy, Gilles Motet
      Pages 121-140
    3. Jean-Claude Geffroy, Gilles Motet
      Pages 141-173
    4. Jean-Claude Geffroy, Gilles Motet
      Pages 175-198
  5. Fault Avoidance Means

    1. Front Matter
      Pages 199-199
    2. Jean-Claude Geffroy, Gilles Motet
      Pages 201-217
    3. Jean-Claude Geffroy, Gilles Motet
      Pages 219-255
    4. Jean-Claude Geffroy, Gilles Motet
      Pages 257-278
    5. Jean-Claude Geffroy, Gilles Motet
      Pages 279-322
    6. Jean-Claude Geffroy, Gilles Motet
      Pages 323-360
    7. Jean-Claude Geffroy, Gilles Motet
      Pages 361-396
  6. Fault Tolerance Means

    1. Front Matter
      Pages 397-397
    2. Jean-Claude Geffroy, Gilles Motet
      Pages 399-426

About this book

Introduction

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.

Keywords

Hardware Software design development fault tolerance mechanism microprocessor stability system

Authors and affiliations

  • Jean-Claude Geffroy
    • 1
  • Gilles Motet
    • 1
  1. 1.Institut National des Sciences AppliquéesToulouseFrance

Bibliographic information

  • DOI https://doi.org/10.1007/978-94-015-9884-2
  • Copyright Information Springer Science+Business Media B.V. 2002
  • Publisher Name Springer, Dordrecht
  • eBook Packages Springer Book Archive
  • Print ISBN 978-90-481-5941-3
  • Online ISBN 978-94-015-9884-2
  • About this book
Industry Sectors
Automotive
Chemical Manufacturing
Electronics
Aerospace
Oil, Gas & Geosciences