Community Research and Development Information Service - CORDIS

Abstract

The REQUEST project, part of the first ESPRIT programme, covered all issues of assessment of quality and reliability of software process and product. The research described in this volume concerned those special problems affecting software that is required to have extremely high reliability. Firstly there is a need to evaluate what actually has been achieved in terms of reliability in a particular case. Secondly, particularly when dealing with software that has a safety-critical role, special techniques are required, over and above those in ordinary best practice, and objective evidence of their efficiency is essential. The topics considered include the concept of software fault-tolerance, software diversity, failure behaviour, functional diversity, failure correlation, quantification of dissimilarity, reliability evaluation, system availability, the acceptance test in recovery block programming and the location of checkpoints.

Additional information

Authors: KERSKEN M, Gesellschaft für Reaktorsicherheit mbH, Garching (DE);SAGLIETTI F (EDITORS), Gesellschaft für Reaktorsicherheit mbH, Garching (DE)
Bibliographic Reference: EUR 13538 EN (1992) 243 pp.
Availability: Springer-Verlag GmbH & Co. KG, Postfach 10 52 80, Tiergartenstrasse 17, D-6900 Heidelberg 1 (DE)
ISBN: ISBN 3-540-55212-X
Record Number: 199210543 / Last updated on: 1994-12-02
Category: PUBLICATION
Original language: en
Available languages: en