Skip to main content
SpringerLink
Log in
Book cover

Software Fault Tolerance

Achievement and Assessment Strategies

  • Book
  • © 1992

Overview

Editors:
  1. Manfred Kersken

    1. Gesellschaft für Reaktorsicherheit (GRS) mbH Forschungsgelände, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Francesca Saglietti

    1. Gesellschaft für Reaktorsicherheit (GRS) mbH Forschungsgelände, Garching, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Research Reports Esprit (ESPRIT, volume 1)

Part of the book sub series: Project 300. REQUEST (2850)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    • Manfred Kersken
    Pages 1-3

  3. Overview

    • Maria Teresa Mainini, Francesca Saglietti, David Nicholas Wall
    Pages 5-19

  4. Considerations on Software Diversity on the Basis of Experimental and Theoretical Work

    • Francesca Saglietti, Wolfgang Ehrenberger
    Pages 21-32

  5. The Impact of Forced Diversity on the Failure Behaviour of Multiversion Software

    • Francesca Saglietti
    Pages 33-47

  6. Functional Diversity

    • Paola Burlando, Laura Gianetto, Maria Teresa Mainini
    Pages 49-113

  7. Estimation of Failure Correlation in Diverse Software Systems with Dependent Components

    • Francesca Saglietti
    Pages 115-124

  8. Measurement of Diversity Degree by Quantification of Dissimilarity in the Input Partition

    • Francesca Saglietti
    Pages 125-133

  9. Comparison of Mnemonics for Software Diversity Assessment

    • Michael Martin Burke, David Nicholas Wall
    Pages 135-146

  10. The FRIL Model Approach for Software Diversity Assessment

    • Michael Martin Burke, David Nicholas Wall
    Pages 147-175

  11. Reliability Evaluation

    • Maria Teresa Mainini
    Pages 177-197

  12. The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability

    • Francesca Saglietti
    Pages 199-212

  13. A Theoretical Evaluation of the Acceptance Test in Recovery Block Programming

    • Francesca Saglietti
    Pages 213-223

  14. Location of Checkpoints by Considering Information Reduction

    • Francesca Saglietti
    Pages 225-236

  15. Conclusions

    • Manfred Kersken
    Pages 237-243
Back to top

Keywords

About this book

The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQUEST. the research described in this volume. concerning those special problems of software that is required to have extremely high reliability. was particularly difficult and ambitious. The problems of software reliability are essentially twofold. On the one hand there is a concern with methods for achieving adequate reliability. on the other hand there is a need to evaluate what has actually been achieved in a particular case. Naturally. far more effort has been spent over the years on the former problem; indeed. there is a sense in which all of conventional software engineering can be seen as a response to this problem. However. it is becoming clearer than ever that we can only claim to have a truly sCientific approach. and so justify the description software engineering. when we are able to measure the attributes of process and product. It is still common to find software development methods recommended to users on purely anecdotal grounds. This is not good enough. Rational choices between rival approaches can only be made on the basis of quantified costs and benefits. Even more worrying is the tendency to argue that a software product can be depended upon merely because it has been developed by honest men using such anecdotal 'good practice'.

Editors and Affiliations

  • Gesellschaft für Reaktorsicherheit (GRS) mbH Forschungsgelände, Garching, Germany

    Manfred Kersken, Francesca Saglietti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation