Design of dependable computing systems:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
2002
|
| Schlagworte: | |
| Online-Zugang: | Publisher description Table of contents only Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (p. 651-655) and index |
| Beschreibung: | XIX, 672 S. Ill., graph. Darst. 25 cm |
| ISBN: | 1402004370 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV036062148 | ||
| 003 | DE-604 | ||
| 005 | 20100316 | ||
| 007 | t | ||
| 008 | 100304s2002 ne ad|| |||| 00||| eng d | ||
| 010 | |a 2002284974 | ||
| 020 | |a 1402004370 |9 1-402-00437-0 | ||
| 035 | |a (OCoLC)49725903 | ||
| 035 | |a (DE-599)BVBBV036062148 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a ne |c NL | ||
| 049 | |a DE-898 |a DE-11 | ||
| 050 | 0 | |a QA76.9.F38 | |
| 082 | 0 | |a 004.2 | |
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 100 | 1 | |a Geffroy, Jean-Claude |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Design of dependable computing systems |c by Jean-Claude Geffroy ; Gilles Motet |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 2002 | |
| 300 | |a XIX, 672 S. |b Ill., graph. Darst. |c 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 651-655) and index | ||
| 650 | 4 | |a Fault-tolerant computing | |
| 650 | 4 | |a Computers |x Reliability | |
| 650 | 4 | |a System design | |
| 650 | 4 | |a Computer system failures | |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Computer |0 (DE-588)4070083-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | 1 | |a Computer |0 (DE-588)4070083-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Motet, Gilles |e Verfasser |4 aut | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0822/2002284974-d.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/enhancements/fy0822/2002284974-t.html |3 Table of contents only | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018953604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018953604 | ||
Datensatz im Suchindex
| _version_ | 1804141107115720704 |
|---|---|
| adam_text | DESIGN OF DEPENDABLE COMPUTING SYSTEMS BY JEAN-CLAUDE GEFFROY GILLES
MOTET INSTITUT NATIONAL DES SCIENCES APPLIQUEES, TOULOUSE, FRANCE KLUWER
ACADEMIC PUBLISHERS DORDRECHT / BOSTON / LONDON CONTENTS PREFACE XV
CHAPTER 1. INTRODUCTORY ELEMENTS: DEPENDABILITY ISSUES 1 1.1 QUALITY 1
1.1.1 QUALITY NEEDS OF COMPUTER SYSTEMS 1 1.1.2 QUALITY ATTRIBUTES 2 1.2
DEPENDABILITY 3 1.2.1 PRODUCT FAILURES AND THEIR CONSEQUENCES 3 1.2.2
FAILURE CAUSES 4 1.2.3 TAKING FAULTS INTO ACCOUNT 7 1.2.4 DEFINITIONS OF
DEPENDABILITY 9 1.3 MEANS OF DEPENDABILITY 10 1.3.1 EVOLUTION 10 1.3.2
MEANS 13 1.4 SUMMARY 13 FIRST PART. DESTRUCTIVE MECHANISMS 15 17 17 21
21 22 24 28 29 CHAPTER 2. GENERAL CONTEXT 2.1 2.2 APPLICATION CONTEXT
LIFE CYCLE 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5 PRINCIPLES SPECIFICATION DESIGN
PRODUCTION OPERATION V VI 2.3 2.4 PRODUCT MODEL 2.3.1 PRODUCT STRUCTURE
AND FUNCTIONING 2.3.2 HIERARCHY 2.3.3 EXAMPLES 2.3.4 REFINEMENT PROCESS
AND PRIMITIVE COMPONENTS LOGICAL PART OF A DRINKS DISTRIBUTOR 2.4.1
SPECIFICATIONS 2.4.2 DESIGN 2.4.3 PRODUCTION 2.4.4 OPERATION CHAPTER 3.
FAILURES AND FAULTS 3.1 3.2 3.3 3.4 3.5 3.6 CHAPTE 4.1 4.2 FAILURES
3.1.1 DEFINITION 3.1.2 CHARACTERIZATION OF FAILURES FAULTS 3.2.1
DIFFICULTIES IN IDENTIFYING THE CAUSES OF A FAILURE 3.2.2 FAULT
CHARACTERIZATION 3.2.3 FAULT ORIGIN 3.2.4 NATURE OF THE FAULT FAULTS
OCCURRING IN THE LIFE CYCLE 3.3.1 SPECIFICATION AND DESIGN FAULTS 3.3.2
PRODUCTION FAULTS 3.3.3 OPERATIONAL FAULTS EXAMPLES OF FUNCTIONAL FAULTS
ALTERING A DRINKS DISTRIBUTOR 3.4.1 DESCRIPTION OF THE PRODUCT 3.4.2
FAULTS DUE TO FUNCTIONAL SPECIFICATIONS 3.4.3 FAULTS DUE TO
TECHNOLOGICAL CONSTRAINTS 3.4.4 DESIGN FAULTS INTERESTS AND LIMITS OF
FAULT CLASSES 3.5.1 SIMPLIFIED CLASSIFICATION 3.5.2 LIMITATIONS OF THE
CLASSIFICATION 3.5.3 PROTECTION AGAINST FAULTS AND THEIR EFFECTS
EXERCISES L R 4. FAULTS AND THEIR EFFECTS INTERNAL EFFECTS 4.1.1 FAULT
4.1.2 ERROR 4.1.3 ERROR PROPAGATION 4.1.4 LATENCY EXTERNAL EFFECTS:
CONSEQUENCES 4.2.1 EXTERNAL CONSEQUENCES OF FAULTS 4.2.2 INERTIA OF THE
FUNCTIONAL ENVIRONMENT 29 30 31 32 33 34 35 36 38 38 39 39 39 42 44 44
45 46 48 51 52 56 58 60 60 61 61 62 63 63 65 65 66 69 69 69 71 73 75 77
77 80 CONTENTS VLL 4.2.3 COMPLETENESS AND COMPATIBILITY 80 4.2.4
INFLUENCE OF THE FUNCTIONAL ENVIRONMENT: EMERGENCE 82 4.3 CONCLUSION ON
THE EFFECTS OF FAULTS 83 4.4 EXERCISES 85 CHAPTER 5. FAULT AND ERROR
MODELS 89 5.1 DEFINITIONS 89 5.1.1 STRUCTURAL AND BEHAVIORAL PROPERTIES
89 5.1.2 STRUCTURAL PROPERTIES 90 5.1.3 BEHAVIORAL PROPERTIES 91 5.2
SIGNIFICANT FAULT AND ERROR MODELS 92 5.2.1 FAULTS AND ERRORS AT
DIFFERENT REPRESENTATION LEVELS 92 5.2.2 HARDWARE FAULT/ERROR MODELS 94
5.2.3 SOFTWARE FAULT AND ERROR MODELS 101 5.3 FAULT AND ERROR MODEL
ASSESSMENT 105 5.3.1 ASSESSMENT CRITERIA 105 5.3.2 RELATIONS BETWEEN
FAULT/ERROR MODELS AND FAILURES 107 5.4 ANALYSIS OF TWO SIMPLE EXAMPLES
109 5.4.1 FIRST EXAMPLE: AN HARDWARE FULL ADDER 109 5.4.2 SECOND
EXAMPLE: A SOFTWARE AVERAGE FUNCTION 111 5.5 EXERCISES 115 SECOND PART.
PROTECTIVE MECHANISMS 119 CHAPTER 6. TOWARDS THE MASTERING OF FAULTS AND
THEIR EFFECTS 121 6.1 THREE APPROACHES 121 6.2 FAULT PREVENTION 123
6.2.1 DURING THE SPECIFICATION 123 6.2.2 DURING THE DESIGN 124 6.2.3
DURING THE PRODUCTION 124 6.2.4 DURING THE OPERATION 125 6.3 FAULT
REMOVAL 127 6.3.1 GENERAL NOTIONS 127 6.3.2 DURING SPECIFICATION AND
DESIGN 129 6.3.3 DURING THE PRODUCTION 133 6.3.4 DURING THE OPERATION
134 6.4 FAULT TOLERANCE 135 6.4.1 FAILURE PREVENTION BY MASKING 136
6.4.2 ERROR DETECTION AND CORRECTION 136 6.4.3 FAIL-SAFE TECHNIQUES 137
6.4.4 RESULTING FAULT TOLERANCE CLASSES 138 6.5 DEPENDABILITY MEANS AND
ASSESSMENT 138 6.6 CONCLUSION 140 VLLL CONTENTS CHAPTER 7. DEPENDABILITY
ASSESSMENT 141 7.1 QUANTITATIVE AND QUALITATIVE ASSESSMENT 141 7.1.1
QUANTITATIVE ASSESSMENT 141 7.1.2 QUALITATIVE ASSESSMENT 143 7.1.3
SYNTHESIS 143 7.2 RELIABILITY 145 7.2.1 GENERAL CHARACTERISTICS OF THE
RELIABILITY OF ELECTRONIC SYSTEMS 145 7.2.2 RELIABILITY MODELS 146 7.2.3
FAILURE RATE ESTIMATION 148 7.2.4 RELIABILITY EVOLUTION 148 7.3
TESTABILITY 149 7.4 MAINTAINABILITY 150 7.4.1 MAINTENANCE 150 7.4.2
MAINTAINABILITY 152 7.4.3 RELIABILITY AND MAINTAINABILITY 153 7.5
AVAILABILITY 154 7.6 SAFETY 155 7.7 SECURITY 157 7.8 SYNTHESIS OF THE
MAIN CRITERIA 157 7.9 QUANTITATIVE ANALYSIS TOOLS AT SYSTEM LEVEL 159
7.9.1 FAULT SIMULATION 159 7.9.2 RELIABILITY BLOCK DIAGRAMS 160 7.9.3
NON-DETERMINISTIC STATE GRAPH MODELS 162 7.10 INDUCTIVE QUALITATIVE
ASSESSMENT: FAILURE MODE AND EFFECT ANALYSIS 164 7.10.1 PRINCIPLES 164
7.10.2 MEANS 166 7.10.3 FMECA 167 7.11 DEDUCTIVE QUALITATIVE ASSESSMENT:
FAULT TREE METHOD 168 7.11.1 PRINCIPLES 168 7.11.2 SOFTWARE EXAMPLE 169
7.11.3 USEOFTHEFTM 171 7.12 EXERCISES 171 CHAPTER 8. REDUNDANCY 175 8.1
FUNCTIONAL AND STRUCTURAL REDUNDANCY 176 8.1.1 LINGUISTIC REDUNDANCY 176
8.1.2 REDUNDANCY OF COMPUTER SYSTEMS 177 8.2 FUNCTIONAL REDUNDANCY 179
8.2.1 STATIC FUNCTIONAL DOMAINS 180 8.2.2 DYNAMIC FUNCTIONAL DOMAINS 182
8.2.3 GENERALIZATION OF FUNCTIONAL REDUNDANCY 185 CONTENTS IX 8.2.4
REDUNDANCY AND MODULE COMPOSITION 186 8.3 STRUCTURAL REDUNDANCY 187
8.3.1 DEFINITION AND ILLUSTRATION 187 8.3.2 ACTIVE AND PASSIVE
REDUNDANCY 188 8.3.3 SEPARABLE REDUNDANCY 193 8.3.4 SUMMARY OF THE
VARIOUS REDUNDANCY FORMS 195 8.4 EXERCISES 195 THIRD PART. FAULT
AVOIDANCE MEANS 199 CHAPTER 9. AVOIDANCE OF FUNCTIONAL FAULTS DURING
SPECIFICATION 201 9.1 INTRODUCTION 201 9.1.1 SPECIFICATION PHASE 201
9.1.2 VALIDATION AND VERIFICATION 202 9.2 FAULT PREVENTION DURING THE
REQUIREMENT EXPRESSION 204 9.2.1 INTRODUCTION 204 9.2.2 HELP IN THE
CAPTURING OF NEEDS 204 9.2.3 EXPRESSION AID 205 9.2.4 EVALUATION OF A
METHOD 207 9.3 FAULT AVOIDANCE DURING THE SPECIFICATION PHASE 209 9.3.1
FAULT PREVENTION: VALID METHOD 209 9.3.2 FAULT REMOVAL: VERIFICATION OF
THE SPECIFICATIONS 211 9.4 REVIEW TECHNIQUES 214 9.4.1 PRINCIPLES 214
9.4.2 WALKTHROUGH 215 9.4.3 INSPECTION 215 9.5 EXERCISE 217 CHAPTER 10.
AVOIDANCE OF FUNCTIONAL FAULTS DURING DESIGN 219 10.1 PRINCIPLES 219
10.2 PREVENTION BY DESIGN MODEL CHOICE 222 10.3 PREVENTION BY DESIGN
PROCESS CHOICE 223 10.3.1 GENERAL CONSIDERATIONS 223 10.3.2 DESIGN GUIDE
224 10.3.3 EXPRESSION GUIDE 225 10.4 FAULT REMOVAL 229 10.4.1
VERIFICATION WITH THE SPECIFICATIONS 229 10.4.2 FAULT REMOVAL WITHOUT
SPECIFICATIONS 238 10.5 FUNCTIONAL TEST 240 10.5.1 INPUT SEQUENCE 240
10.5.2 OUTPUT SEQUENCE 243 10.5.3 FUNCTIONAL DIAGNOSIS 245 10.5.4
ANALYSIS OF AN ARITHMETIC UNIT 247 X CONTENTS 10.6 FORMAL PROOF METHODS
248 10.6.1 INDUCTIVE APPROACH AND SYMBOLIC EXECUTION 248 10.6.2
DEDUCTIVE APPROACH AND FTM 251 10.7 EXERCISES 253 CHAPTER 11. PREVENTION
OF TECHNOLOGICAL FAULTS 257 11.1 PARAMETERS OF THE PREVENTION OF
TECHNOLOGICAL FAULTS 257 11.1.1 HARDWARE TECHNOLOGY 258 11.1.2 SOFTWARE
TECHNOLOGY 258 11.1.3 PREVENTION OF TECHNOLOGICAL FAULTS 260 11.2 ACTION
ON THE PRODUCT 261 11.2.1 HARDWARE TECHNOLOGY 261 11.2.2 SOFTWARE
TECHNOLOGY 265 11.3 ACTION ON THE ENVIRONMENT 272 11.3.1 HARDWARE
TECHNOLOGY 272 11.3.2 SOFTWARE TECHNOLOGY 273 11.4 EXERCISES 276 CHAPTER
12. REMOVAL OF TECHNOLOGICAL FAULTS 279 12.1 OFF-LINE TESTING 279 12.1.1
CONTEXT OF OFF-LINE TESTING 280 12.1.2 DIFFERENT KINDS OF TESTS AND
TESTERS 281 12.2 LOGICAL TESTING 288 12.2.1 LOGICAL TESTERS 288 12.2.2
TEST PARAMETERS 291 12.2.3 PRODUCTION TESTING 292 12.2.4 MAINTENANCE
TESTING 296 12.3 PRINCIPLES OF LOGICAL TEST GENERATION 302 12.3.1
LOGICAL TESTING 302 12.3.2 DETERMINATION OF INPUT VECTORS TESTING A
FAULT 307 12.3.3 FAULT GRADING 307 12.3.4 TEST PATTERN GENERATION OF
COMBINATIONAL SYSTEMS 314 12.3.5 TEST OF SEQUENTIAL SYSTEMS 316 12.4
EXERCISES 320 CHAPTER 13. STRUCTURAL TESTING METHODS 323 13.1 GENERATION
OF LOGICAL TEST BY A GATE LEVEL STRUCTURAL APPROACH 323 13.2 TEST
GENERATION FOR A GIVEN ERROR 325 13.2.1 PRINCIPLES OF THE METHOD 325
13.2.2 ACTIVATION AND BACKWARD PROPAGATION 326 13.2.3 FORWARD
PROPAGATION 327 13.2.4 JUSTIFICATION 329 13.2.5 COMPLETE STUDY OF A
SMALL CIRCUIT 329 CONTENTS XI 13.2.6 TEST OF STRUCTURED CIRCUITS 332
13.3 DETERMINATION OF THE FAULTS/ERRORS DETECTED BY A GIVEN TEST VECTOR
333 13.3.1 PRINCIPLES OF THE METHOD 333 13.3.2 STUDY OF A SMALL CIRCUIT
335 13.4 DIAGNOSIS OF A TEST SEQUENCE 336 13.4.1 GENERAL PROBLEM OF THE
DIAGNOSIS 336 13.4.2 STUDY OF A SMALL CIRCUIT 337 13.5 INFLUENCE OF
PASSIVE REDUNDANCY ON DETECTION AND DIAGNOSIS 339 13.6 DETECTION TEST
WITHOUT ERROR MODEL. APPLICATION TO SOFTWARE 340 13.6.1 THE PROBLEM OF
STRUCTURAL TEST WITHOUT ERROR MODEL 340 13.6.2 STATEMENT TEST 342 13.6.3
BRANCH & PATH TEST 343 13.6.4 CONDITION & DECISION TEST 345 13.6.5
FINITE STATE MACHINE IDENTIFICATION 346 13.7 DIAGNOSIS WITHOUT FAULT
MODELS 346 13.7.1 PRINCIPLES 346 13.7.2 HIGHLIGHT THE ERRONEOUS
SITUATIONS 347 13.7.3 ELABORATE THE HYPOTHESES 349 13.7.4 CONFIRM THE
HYPOTHESES 350 13.7.5 VERIFY THE HYPOTHESES 350 13.8 MUTATION TEST
METHODS 351 13.8.1 PRINCIPLES AND PERTINENCE OF MUTATION METHODS 351
13.8.2 MUTATION TESTING TECHNIQUE 352 13.9 EXERCISES 354 CHAPTER 14.
DESIGN FOR TESTABILITY 361 14.1 INTRODUCTION 361 14.1.1 TEST COMPLEXITY
361 14.1.2 GENERAL PRINCIPLES OF DESIGN FOR TESTABILITY 3 62 14.2 AD HOC
APPROACH TO DFT 367 14.2.1 GUIDELINES 367 14.2.2 INSTRUMENTATION: DATA
RECORDING 373 14.2.3 EXCEPTION MECHANISMS: ERROR PROPAGATION 374 14.3
DESIGN OF SYSTEMS HAVING SHORT TEST SEQUENCES 377 14.3.1 ILLUSTRATION ON
ELECTRONIC PRODUCTS 377 14.3.2 ILLUSTRATION ON SOFTWARE APPLICATIONS 379
14.4 BUILT-IN TEST (***) 380 14.4.1 INTRODUCTION 380 14.4.2 THEFITPLA
380 14.4.3 SCAN DESIGN AND LSSD 383 14.4.4 BOUNDARY SCAN 385 14.4.5
DISCUSSION ABOUT BIT EVOLUTION 387 XU CONTENTS 14.5 BUILT-IN SELF-TEST
(BIST) 388 14.5.1 PRINCIPLES 388 14.5.2 TEST SEQUENCE GENERATION AND
SIGNATURE ANALYSIS 389 14.6 TOWARDS ON-LINE TESTING 392 14.6.1 TO PLACE
THE TESTER IN THE APPLICATION SITE 392 14.6.2 IN-SITU MAINTENANCE
OPERATION 392 14.6.3 INTEGRATION OF THE TESTER TO THE PRODUCT S ACTIVITY
393 14.7 EXERCISES 393 FOURTH PART. FAULT TOLERANCE MEANS 397 CHAPTER
15. ERROR DETECTING AND CORRECTING CODES 399 15.1 GENERAL CONTEXT 399
15.1.1 ERROR MODEL 399 15.1.2 REDUNDANT CODING 402 15.1.3 APPLICATION TO
ERROR DETECTION AND CORRECTION 403 15.1.4 LIMITATIONS OF OUR STUDY 404
15.2 DEFINITIONS 405 15.2.1 SEPARABLE AND NON-SEPARABLE CODES 405 15.2.2
HAMMING DISTANCE 406 15.2.3 REDUNDANCY AND EFFICIENCY 408 15.3 PARITY
CHECK CODES 409 15.3.1 SINGLE PARITY CODE 409 15.3.2 MULTIPLE PARITY
CODES 409 15.4 UNIDIRECTIONAL CODES 416 15.4.1 M-OUT-OF-N CODES 417
15.4.2 TWO-RAIL CODES 418 15.4.3 BERGER CODES 418 15.5 ARITHMETIC CODES
419 15.5.1 LIMITATIONS OF THE HAMMING DISTANCE 419 15.5.2 RESIDUAL CODES
420 15.6 APPLICATION OF EDC CODES TO DIFFERENT CLASSES OF SYSTEMS 422
15.7 EXERCISES 423 CHAPTER 16. ON-LINE TESTING 427 16.1 TWO APPROACHES
OF ON-LINE TESTING 427 16.2 DISCONTINUOUS TESTING 428 16.2.1 EXTERNAL
TESTER 428 16.2.2 TEST PERFORMED BY ONE OF THE REGULATORS 430 16.2.3
TEST DISTRIBUTED BETWEEN THE REGULATORS 430 16.2.4 PRECAUTIONS 432 16.3
CONTINUOUS TESTING: SELF-TESTING 433 16.3.1 PRINCIPLES 433 16.3.2 USE OF
FUNCTIONAL REDUNDANCY 436 CONTENTS ** 16.3.3 USE OF STRUCTURAL
REDUNDANCY 441 16.4 EXERCISES 447 CHAPTER 17. FAIL-SAFE SYSTEMS 451 17.1
RISK AND SAFETY 452 17.1.1 SERIOUSNESS CLASSES 452 17.1.2 RISK AND
SAFETY CLASSES 453 17.1.3 FAIL-SAFE SYSTEMS 456 17.2 FAIL-SAFE
TECHNIQUES 457 17.2.1 INTRINSIC SAFETY 457 17.2.2 SAFETY BY STRUCTURAL
REDUNDANCY 459 17.2.3 SELF-TESTING SYSTEMS AND FAIL-SAFE SYSTEMS 465
17.2.4 FAIL-SAFE APPLICATIONS 466 17.3 EXERCISES 467 CHAPTER 18.
FAULT-TOLERANT SYSTEMS 469 18.1 INTRODUCTION 469 18.1.1 AIMS 469 18.1.2
FROM ERROR DETECTION TOWARDS FAULT TOLERANCE 470 18.2 N-VERSIONS 472
18.2.1 PRINCIPLES 472 18.2.2 REALIZATION OF THE DUPLICATES AND THE VOTER
473 18.2.3 PERFORMANCE ANALYSIS 475 18.3 BACKWARD RECOVERY 476 18.3.1
PRINCIPLES AND USE 476 18.3.2 RECOVERY CACHE 478 18.3.3 RECOVERY POINTS
479 18.4 FORWARD RECOVERY 482 18.4.1 PRINCIPLES 482 18.4.2 RECOVERY
BLOCKS 482 18.4.3 TERMINATION MODE 483 18.5 COMPARISON 485 18.5.1
SIMILARITIES 485 18.5.2 DIFFERENCES 487 18.5.3 USE OF MULTIPLE
TECHNIQUES 490 18.6 IMPACT ON THE DESIGN 493 18.7 SOME APPLICATION
DOMAINS 496 18.7.1 WATCHDOG AND RESET 496 18.7.2 AVIONICS SYSTEMS 496
18.7.3 DATASTORAGE 498 18.7.4 DATA TRANSMISSION 503 18.8 EXERCISES 508
XIV CONTENTS CHAPTER 19. CONCLUSIONS 511 19.1 NEEDS AND IMPAIRMENTS 512
19.1.1 DEPENDABILITY NEEDS 512 19.1.2 DEPENDABILITY IMPAIRMENTS 513 19.2
PROTECTIVE MEANS 516 19.2.1 FAULT PREVENTION 516 19.2.2 FAULT REMOVAL
517 19.2.3 FAULT TOLERANCE 519 19.3 DEPENDABILITY ASSESSMENT 520 19.3.1
QUANTITATIVE APPROACHES 520 19.3.2 QUALITATIVE APPROACHES 524 19.4
CHOICE OF METHODS 525 APPENDIX A. ERROR DETECTING AND CORRECTING CODES
527 APPENDIX B. RELIABILITY BLOCK DIAGRAMS 529 APPENDIX C. TESTING
FEATURES OF A MICROPROCESSOR 535 APPENDIX D. STUDY OF A SOFTWARE PRODUCT
539 APPENDIX E. ANSWER TO THE EXERCISES 543 GLOSSARY 605 REFERENCES 651
INDEX 657
|
| any_adam_object | 1 |
| author | Geffroy, Jean-Claude Motet, Gilles |
| author_facet | Geffroy, Jean-Claude Motet, Gilles |
| author_role | aut aut |
| author_sort | Geffroy, Jean-Claude |
| author_variant | j c g jcg g m gm |
| building | Verbundindex |
| bvnumber | BV036062148 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.F38 |
| callnumber-search | QA76.9.F38 |
| callnumber-sort | QA 276.9 F38 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 150 ST 233 |
| ctrlnum | (OCoLC)49725903 (DE-599)BVBBV036062148 |
| dewey-full | 004.2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2 |
| dewey-search | 004.2 |
| dewey-sort | 14.2 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01916nam a2200493zc 4500</leader><controlfield tag="001">BV036062148</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100316 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100304s2002 ne ad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002284974</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1402004370</subfield><subfield code="9">1-402-00437-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)49725903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036062148</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">ne</subfield><subfield code="c">NL</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-898</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.F38</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Geffroy, Jean-Claude</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Design of dependable computing systems</subfield><subfield code="c">by Jean-Claude Geffroy ; Gilles Motet</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 672 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">25 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 651-655) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Fault-tolerant computing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">System design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer system failures</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Computer</subfield><subfield code="0">(DE-588)4070083-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Motet, Gilles</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0822/2002284974-d.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/enhancements/fy0822/2002284974-t.html</subfield><subfield code="3">Table of contents only</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018953604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018953604</subfield></datafield></record></collection> |
| id | DE-604.BV036062148 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:10:36Z |
| institution | BVB |
| isbn | 1402004370 |
| language | English |
| lccn | 2002284974 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018953604 |
| oclc_num | 49725903 |
| open_access_boolean | |
| owner | DE-898 DE-BY-UBR DE-11 |
| owner_facet | DE-898 DE-BY-UBR DE-11 |
| physical | XIX, 672 S. Ill., graph. Darst. 25 cm |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Geffroy, Jean-Claude Verfasser aut Design of dependable computing systems by Jean-Claude Geffroy ; Gilles Motet Dordrecht [u.a.] Kluwer 2002 XIX, 672 S. Ill., graph. Darst. 25 cm txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 651-655) and index Fault-tolerant computing Computers Reliability System design Computer system failures Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Computer (DE-588)4070083-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 s Computer (DE-588)4070083-5 s DE-604 Motet, Gilles Verfasser aut http://www.loc.gov/catdir/enhancements/fy0822/2002284974-d.html Publisher description http://www.loc.gov/catdir/enhancements/fy0822/2002284974-t.html Table of contents only GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018953604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Geffroy, Jean-Claude Motet, Gilles Design of dependable computing systems Fault-tolerant computing Computers Reliability System design Computer system failures Fehlertoleranz (DE-588)4123192-2 gnd Computer (DE-588)4070083-5 gnd |
| subject_GND | (DE-588)4123192-2 (DE-588)4070083-5 |
| title | Design of dependable computing systems |
| title_auth | Design of dependable computing systems |
| title_exact_search | Design of dependable computing systems |
| title_full | Design of dependable computing systems by Jean-Claude Geffroy ; Gilles Motet |
| title_fullStr | Design of dependable computing systems by Jean-Claude Geffroy ; Gilles Motet |
| title_full_unstemmed | Design of dependable computing systems by Jean-Claude Geffroy ; Gilles Motet |
| title_short | Design of dependable computing systems |
| title_sort | design of dependable computing systems |
| topic | Fault-tolerant computing Computers Reliability System design Computer system failures Fehlertoleranz (DE-588)4123192-2 gnd Computer (DE-588)4070083-5 gnd |
| topic_facet | Fault-tolerant computing Computers Reliability System design Computer system failures Fehlertoleranz Computer |
| url | http://www.loc.gov/catdir/enhancements/fy0822/2002284974-d.html http://www.loc.gov/catdir/enhancements/fy0822/2002284974-t.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018953604&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT geffroyjeanclaude designofdependablecomputingsystems AT motetgilles designofdependablecomputingsystems |