This book presents and discusses research in the study of computer science, with a particular focus on computer design and computational defense systems. Topics discussed include memory grid mapping; optimal nozzle design with monotonicity constraints; statistical reliability with applications to de
Design of Dependable Computing Systems
β Scribed by Jean-Claude Geffroy, Gilles Motet (auth.)
- Publisher
- Springer Netherlands
- Year
- 2002
- Tongue
- English
- Leaves
- 677
- Edition
- 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
Front Matter....Pages i-xix
Introductory Elements: Dependability Issues....Pages 1-14
Front Matter....Pages 15-15
General Context....Pages 17-38
Failures and Faults....Pages 39-68
Faults and their Effects....Pages 69-87
Fault and Error Models....Pages 89-117
Front Matter....Pages 119-119
Towards the Mastering of Faults and their Effects....Pages 121-140
Dependability Assessment....Pages 141-173
Redundancy....Pages 175-198
Front Matter....Pages 199-199
Avoidance of Functional Faults During Specification....Pages 201-217
Avoidance of Functional Faults During Design....Pages 219-255
Prevention of Technological Faults....Pages 257-278
Removal of Technological Faults....Pages 279-322
Structural Testing Methods....Pages 323-360
Design For Testability....Pages 361-396
Front Matter....Pages 397-397
Error Detecting and Correcting Codes....Pages 399-426
On-Line Testing....Pages 427-449
Fail-Safe Systems....Pages 451-468
Fault-Tolerant Systems....Pages 469-510
Conclusions....Pages 511-526
Back Matter....Pages 527-672
β¦ Subjects
Computer-Aided Engineering (CAD, CAE) and Design; Special Purpose and Application-Based Systems; Electrical Engineering
π SIMILAR VOLUMES
<p>Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of
<p><p>Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on
<p><p>Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on
Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and