+612 9045 4394
 
CHECKOUT
Software Fault Tolerance Techniques and Implementation : Artech House Computer Security Series - Laura L. Pullum

Software Fault Tolerance Techniques and Implementation

Artech House Computer Security Series

Hardcover Published: 30th September 2001
ISBN: 9781580531375
Number Of Pages: 362

Share This Book:

Hardcover

RRP $304.99
$210.75
31%
OFF
or 4 easy payments of $52.69 with Learn more
Ships in 7 to 10 business days

This innovative resource provides the most comprehensive coverage of software fault tolerance techniques to guide professionals through design, operation and performance. It features an in-depth discussion on the advantages and disadvantages of specific techniques, so practitioners can decide which ones are best suited for their work. The book examines key programming techniques such as assertions, checkpointing, and atomic actions, and provides design tips and models to assist in the development of critical software fault tolerance software systems that help ensure dependable performance. From software reliability, recovery and redundancy to design- and data-diverse software fault tolerance techniques, this practical reference provides detailed insight into techniques that will improve the overall quality of software.

Prefacep. xi
Acknowledgmentsp. xiii
Introductionp. 1
A Few Definitionsp. 3
Organization and Intended Usep. 4
Means to Achieve Dependable Softwarep. 6
Fault Avoidance or Preventionp. 7
Fault Removalp. 9
Fault/Failure Forecastingp. 11
Fault Tolerancep. 12
Types of Recoveryp. 13
Backward Recoveryp. 14
Forward Recoveryp. 16
Types of Redundancy for Software Fault Tolerancep. 18
Software Redundancyp. 18
Information or Data Redundancyp. 19
Temporal Redundancyp. 21
Summaryp. 21
Referencesp. 23
Structuring Redundancy for Software Fault Tolerancep. 25
Robust Softwarep. 27
Design Diversityp. 29
Case Studies and Experiments in Design Diversityp. 31
Levels of Diversity and Fault Tolerance Applicationp. 33
Factors Influencing Diversityp. 34
Data Diversityp. 35
Overview of Data Re-expressionp. 37
Output Types and Related Data Re-expressionp. 38
Example Data Re-expression Algorithmsp. 40
Temporal Diversityp. 42
Architectural Structure for Diverse Softwarep. 44
Structure for Development of Diverse Softwarep. 44
Xu and Randell Frameworkp. 45
Daniels, Kim, and Vouk Frameworkp. 51
Summaryp. 53
Referencesp. 53
Design Methods, Programming Techniques, and Issuesp. 59
Problems and Issuesp. 59
Similar Errors and a Lack of Diversityp. 60
Consistent Comparison Problemp. 62
Domino Effectp. 68
Overheadp. 70
Programming Techniquesp. 76
Assertionsp. 78
Checkpointingp. 80
Atomic Actionsp. 84
Dependable System Development Model and N-Version Software Paradigmp. 88
Design Considerationsp. 88
Dependable System Development Modelp. 91
Design Paradigm for N-Version Programmingp. 93
Summaryp. 94
Referencesp. 97
Design Diverse Software Fault Tolerance Techniquesp. 105
Recovery Blocksp. 106
Recovery Block Operationp. 107
Recovery Block Examplep. 113
Recovery Block Issues and Discussionp. 115
N-Version Programmingp. 120
N-Version Programming Operationp. 121
N-Version Programming Examplep. 125
N-Version Programming Issues and Discussionp. 127
Distributed Recovery Blocksp. 132
Distributed Recovery Block Operationp. 132
Distributed Recovery Block Examplep. 137
Distributed Recovery Block Issues and Discussionp. 139
N Self-Checking Programmingp. 144
N Self-Checking Programming Operationp. 144
N Self-Checking Programming Examplep. 145
N Self-Checking Programming Issues and Discussionp. 149
Consensus Recovery Blockp. 152
Consensus Recovery Block Operationp. 152
Consensus Recovery Block Examplep. 155
Consensus Recovery Block Issues and Discussionp. 159
Acceptance Votingp. 162
Acceptance Voting Operationp. 162
Acceptance Voting Examplep. 166
Acceptance Voting Issues and Discussionp. 169
Technique Comparisonsp. 172
N-Version Programming and Recovery Block Technique Comparisonsp. 176
Recovery Block and Distributed Recovery Block Technique Comparisonsp. 180
Consensus Recovery Block, Recovery Block Technique, and N-Version Programming Comparisonsp. 181
Acceptance Voting, Consensus Recovery Block, Recovery Block Technique, and N-Version Programming Comparisonsp. 182
Referencesp. 183
Data Diverse Software Fault Tolerance Techniquesp. 191
Retry Blocksp. 192
Retry Block Operationp. 193
Retry Block Examplep. 202
Retry Block Issues and Discussionp. 204
N-Copy Programmingp. 207
N-Copy Programming Operationp. 208
N-Copy Programming Examplep. 212
N-Copy Programming Issues and Discussionp. 214
Two-Pass Adjudicatorsp. 218
Two-Pass Adjudicator Operationp. 218
Two-Pass Adjudicators and Multiple Correct Resultsp. 223
Two-Pass Adjudicator Examplep. 227
Two-Pass Adjudicator Issues and Discussionp. 229
Summaryp. 232
Referencesp. 233
Other Software Fault Tolerance Techniquesp. 235
N-Version Programming Variantsp. 235
N-Version Programming with Tie-Breaker and Acceptance Test Operationp. 236
N-Version Programming with Tie-Breaker and Acceptance Test Examplep. 241
Resourceful Systemsp. 244
Data-Driven Dependability Assurance Schemep. 247
Self-Configuring Optimal Programmingp. 253
Self-Configuring Optimal Programming Operationp. 253
Self-Configuring Optimal Programming Examplep. 257
Self-Configuring Optimal Programming Issues and Discussionp. 260
Other Techniquesp. 262
Summaryp. 262
Referencesp. 265
Adjudicating the Resultsp. 269
Votersp. 270
Exact Majority Voterp. 273
Median Voterp. 278
Mean Voterp. 282
Consensus Voterp. 289
Comparison Tolerances and the Formal Majority Voterp. 295
Dynamic Majority and Consensus Votersp. 303
Summary of Voters Discussedp. 309
Other Votersp. 311
Acceptance Testsp. 311
Satisfaction of Requirementsp. 314
Accounting Testsp. 315
Reasonableness Testsp. 315
Computer Run-Time Testsp. 318
Summaryp. 319
Referencesp. 320
List of Acronymsp. 325
About the Authorp. 329
Indexp. 331
Table of Contents provided by Syndetics. All Rights Reserved.

ISBN: 9781580531375
ISBN-10: 1580531377
Series: Artech House Computer Security Series
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 362
Published: 30th September 2001
Publisher: Artech House Publishers
Country of Publication: US
Dimensions (cm): 23.4 x 15.6  x 2.0
Weight (kg): 0.68