Software Fault Tolerance: Achievement and Assessment Strategies (Research Reports Esprit / Project 300. REQUEST) - Couverture souple

Kersken, Manfred

 
9783540552123: Software Fault Tolerance: Achievement and Assessment Strategies (Research Reports Esprit / Project 300. REQUEST)
Couverture souple
ISBN 10 : 354055212X ISBN 13 : 9783540552123
Editeur : Springer, 1992

Synopsis

This volume summarizes the results obtained by the group working on softwarefault tolerance within the REQUEST (Reliability and Quality of European Software Technology) project of the ESPRIT programme of the European Communities. It should be read by anyone with a professional interest in safety-critical and fault-tolerant computing. A generic model is developed for evaluating the reliability of fault-tolerant software systems.Emphasis is put on identification of problem areas in the development and assessment of fault-tolerant software systems and in the components.Examples of crucial failures are those of diverse versions due to a common cause, or failures in the adjudicator which acts on outputs of diverse versions. The causes for common failures of versions are similarities in the solutions of specified problems. Methods were developed to determine similarity among versions by means of well-known software engineering methods. Concerning adjudicators, the influences of several factors on failure detection capability are discussed and guidelines are given for optimal design. A methodology is developed to determine dissimilarity on the level of diverse specifications. Cost-based support is given for deciding whether diversity should be used in a software system or a single program shouldbe enhanced by additional verification effort.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

This volume summarizes the results obtained by the group working on softwarefault tolerance within the REQUEST (Reliability and Quality of European Software Technology) project of the ESPRIT programme of the European Communities. It should be read by anyone with a professional interest in safety-critical and fault-tolerant computing. A generic model is developed for evaluating the reliability of fault-tolerant software systems.Emphasis is put on identification of problem areas in the development and assessment of fault-tolerant software systems and in the components.Examples of crucial failures are those of diverse versions due to a common cause, or failures in the adjudicator which acts on outputs of diverse versions. The causes for common failures of versions are similarities in the solutions of specified problems. Methods were developed to determine similarity among versions by means of well-known software engineering methods. Concerning adjudicators, the influences of several factors on failure detection capability are discussed and guidelines are given for optimal design. A methodology is developed to determine dissimilarity on the level of diverse specifications. Cost-based support is given for deciding whether diversity should be used in a software system or a single program shouldbe enhanced by additional verification effort.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
1992
Langue
anglais
ISBN 10 
354055212X
ISBN 13 
9783540552123
Reliure
Broché
Nombre de pages
260
Coordonnées du fabricant
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Autres éditions populaires du même titre

9780387552125: Software Fault Tolerance: Achievement and Assessment Strategies

Edition présentée

ISBN 10 :  038755212X ISBN 13 :  9780387552125
Couverture souple