Predictably Dependable Computing Systems

1. Front Matter

   Pages i-xix

   PDF

2. Basic Concepts

   1. Front Matter

      Pages 1-1

      PDF

   2. Dependability — Its Attributes, Impairments and Means

      • Jean-Claude Laprie

      Pages 3-18

3. Back Matter

   Pages 19-24

   PDF

4. Fault Prevention

   1. Front Matter

      Pages 25-26

      PDF

   2. Analysis of Safety Requirements for Process Control Systems

      • Tom Anderson, Rogério de Lemos, Amer Saeed

      Pages 27-40

   3. Real-Time System Scheduling

      • Neil Audsley, Alan Burns, Rob Davis, Ken Tindell, Andy Wellings

      Pages 41-52

   4. The Time-Triggered Approach to Real-Time System Design

      • Hermann Kopetz

      Pages 53-66

   5. Software Measurement: A Necessary Scientific Basis

      • Norman Elliott Fenton

      Pages 67-78

5. Back Matter

   Pages 79-84

   PDF

6. Fault Tolerance

   1. Front Matter

      Pages 85-86

      PDF

   2. From Recovery Blocks to Concurrent Atomic Actions

      • Brian Randell, Alexander Romanovsky, Cecilia M. F. Rubira, Robert J. Stroud, Zhixue Wu, Jie Xu

      Pages 87-101

   3. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures

      • Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun

      Pages 103-122

   4. Failure Mode Assumptions and Assumption Coverage

      • David Powell

      Pages 123-140

   5. Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment

      • Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini

      Pages 141-154

   6. Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software

      • Jie Xu, Andrea Bondavalli, Felicita Di Giandomenico

      Pages 155-172

   7. Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: an Object-Oriented Approach

      • Jean-Charles Fabre, Yves Deswarte, Brian Randell

      Pages 173-188

   8. Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming

      • Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert Stroud, Zhixue Wu

      Pages 189-208

   9. The PDCS Implementation of MARS Hardware and Software

      • Johannes Reisinger, Andreas Steininger, Günther Leber

      Pages 209-224

7. Back Matter

   Pages 225-237

   PDF

Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of a computing system, and of the means by which it was specified, designed and constructed, can affect the system's overall dependability. This book explores links, and gaps, between topics that are often investigated separately, but whose interactions can be of considerable relevance to issues of overall system dependability.
It contains material on all four of the main topics that are crucial to the successful production of dependable computing systems namely: fault prevention, fault tolerance, fault removal, and fault forecasting. Particular emphasis is placed on the problems of real-time and distributed computing systems. This book provides up to date information about the latest research on these topics from a team made up of many of Europe's leading researchers - it is based on the work of two successive major ESPRIT Basic Research Projects on Predictably Dependable Computing Systems. These projects lasted over six years in total, and each involved approximately forty researchers at any one time.
The book contains a carefully edited selection from among the over two hundred published papers produced by the PDCS projects and provides a good general overview of the work of the two projects, as well as coverage of most of the projects' major research achievements.

• Dependability
• Fault tolerance
• Fehlertoleranz
• Kritische Anwendungen
• Prediction
• Real-time systems
• Realzeitsysteme
• Verläßliche Systeme
• Verteilte Systeme
• distributed systems
• real-time
• real-time system

• Department of Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, UK

  Brian Randell

• LAAS-CNRS, Toulouse, France

  Jean-Claude Laprie

• Institut für Technische Informatik, Technische Universität Wien, Wien, Austria

  Hermann Kopetz

• Centre for Software Reliability, The City University, Northampton Square, London, UK

  Bev Littlewood

Policies and ethics