Advertisement

Software Fault Tolerance

Achievement and Assessment Strategies

  • Manfred Kersken
  • Francesca Saglietti

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

Table of contents

  1. Front Matter
    Pages i-xv
  2. Manfred Kersken
    Pages 1-3
  3. Maria Teresa Mainini, Francesca Saglietti, David Nicholas Wall
    Pages 5-19
  4. Paola Burlando, Laura Gianetto, Maria Teresa Mainini
    Pages 49-113
  5. Michael Martin Burke, David Nicholas Wall
    Pages 135-146
  6. Michael Martin Burke, David Nicholas Wall
    Pages 147-175
  7. Maria Teresa Mainini
    Pages 177-197
  8. Manfred Kersken
    Pages 237-243

About this book

Introduction

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'.

Keywords

Hardware algorithms classification design development modeling programming reliability semantics software software engineering structured analysis technology testing verification

Editors and affiliations

  • Manfred Kersken
    • 1
  • Francesca Saglietti
    • 1
  1. 1.Gesellschaft für Reaktorsicherheit (GRS) mbH ForschungsgeländeGarchingGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-84725-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55212-3
  • Online ISBN 978-3-642-84725-7
  • Buy this book on publisher's site