Software Fault Tolerance

Techniques and Implementation

Laura L. Pullum

342 pages, parution le 12/11/2001

Ajouter à une liste

Indisponible

Résumé

Look to this innovative resource for the most comprehensive coverage of software fault tolerance techniques available in a single volume. It offers you a thorough understanding of the operation of critical software fault tolerance techniques and guides you through their design, operation and performance. You get an in-depth discussion on the advantages and disadvantages of specific techniques, so you can decide which ones are best suited for your 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 fault tolerant software that helps 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 can improve the overall dependability of your software.

Contents

Introduction - Means to Achieve Dependable Software. Types of Recovery. Types of Redundancy for Software Fault Tolerance.

Structuring Redundancy for Software Fault Tolerance - Robust Software. Design Diversity. Data Diversity. Temporal Diversity. Architectural Structure for Diverse Software. Structure for Development of Diverse Software. Summary.

Design Methods, Programming Techniques and Issues - Problems and Issues. Programming Techniques. Dependable System Development Model and N-Version Software Paradigm.

Design Diverse Software Fault Tolerance Techniques - Recovery Blocks. N-Version Programming. Distributed Recovery Blocks. N -Self-Checking Programming. Consensus Recovery Block. Acceptance Voting. Technique Comparisons.

Data Diverse Software Fault Tolerance Techniques - Retry Blocks. N-Copy Programming. Two-Pass Adjudicators.

Other Software Fault Tolerance Techniques - N-Version Programming Variants. Resourceful Systems. Data-Driven Dependability Assurance Scheme. Self-Configuring Optimal Programming. Other Techniques.

Adjudicating the Results - Voters. Acceptance Tests.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Artech House
Auteur(s)	Laura L. Pullum
Parution	12/11/2001
Nb. de pages	342
Format	15,5 x 23,2
Couverture	Relié
Poids	650g
Intérieur	Noir et Blanc
EAN13	9781580531375
ISBN13	978-1-58053-137-5