Predictably Dependable Computing Systems

  • Brian Randell
  • Jean-Claude Laprie
  • Hermann Kopetz
  • Bev Littlewood

Part of the ESPRIT Basic Research Series book series (ESPRIT BASIC)

Table of contents

  1. Front Matter
    Pages i-xix
  2. Basic Concepts

    1. Front Matter
      Pages 1-1
    2. Back Matter
      Pages 19-24
  3. Fault Prevention

    1. Front Matter
      Pages 25-26
    2. Tom Anderson, Rogério de Lemos, Amer Saeed
      Pages 27-40
    3. Neil Audsley, Alan Burns, Rob Davis, Ken Tindell, Andy Wellings
      Pages 41-52
    4. Norman Elliott Fenton
      Pages 67-78
    5. Back Matter
      Pages 79-84
  4. Fault Tolerance

    1. Front Matter
      Pages 85-86
    2. Brian Randell, Alexander Romanovsky, Cecilia M. F. Rubira, Robert J. Stroud, Zhixue Wu, Jie Xu
      Pages 87-101
    3. Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun
      Pages 103-122
    4. Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
      Pages 141-154
    5. Jie Xu, Andrea Bondavalli, Felicita Di Giandomenico
      Pages 155-172
    6. Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert Stroud, Zhixue Wu
      Pages 189-208
    7. Johannes Reisinger, Andreas Steininger, Günther Leber
      Pages 209-224
    8. Back Matter
      Pages 225-237
  5. Fault Removal

    1. Front Matter
      Pages 239-239
    2. Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet
      Pages 253-272
    3. Bruno Marre, Pascale Thévenod-Fosse, Hélène Waeselynck, Pascale Le Gall, Yves Crouzet
      Pages 273-281
    4. Back Matter
      Pages 299-305
  6. Fault Forecasting — Fault Injection

    1. Front Matter
      Pages 307-308
    2. Johan Karlsson, Peter Folkesson, Jean Arlat, Yves Crouzet, Günther Leber
      Pages 309-327
    3. Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson
      Pages 329-346
    4. David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
      Pages 347-366
    5. Back Matter
      Pages 367-370
  7. Fault Forecasting — Software Reliability

    1. Front Matter
      Pages 371-372
    2. Jean-Claude Laprie, Christian Béounes, Mohamed Kaâniche, Karama Kanoun
      Pages 389-406
    3. Sarah Brocklehurst, Bev Littlewood
      Pages 407-419
    4. Minyan Lu, Sarah Brocklehurst, Bev Littlewood
      Pages 421-439
    5. Jean Arlat, Karama Kanoun, Jean-Claude Laprie
      Pages 441-457
    6. Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Lorenzo Strigini
      Pages 459-472
    7. Bev Littlewood, Lorenzo Strigini
      Pages 473-493
    8. Back Matter
      Pages 495-503
  8. Fault Forecasting — Large State Space Modelling

    1. Front Matter
      Pages 505-506
    2. Pierre-Jacques Courtois, Pierre Semal
      Pages 507-518
    3. Ram Chakka, Isi Mitrani
      Pages 519-532
    4. Back Matter
      Pages 533-534
  9. Fault Forecasting — Security Modelling

    1. Front Matter
      Pages 535-535
    2. Bev Littlewood, Sarah Brocklehurst, Norman Fenton, Peter Mellor, Stella Page, David Wright et al.
      Pages 537-553
    3. Tomas Olovsson, Erland Jonsson, Sarah Brocklehurst, Bev Littlewood
      Pages 555-569
    4. Back Matter
      Pages 571-572
  10. Back Matter
    Pages 573-589

About these proceedings


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

Editors and affiliations

  • Brian Randell
    • 1
  • Jean-Claude Laprie
    • 2
  • Hermann Kopetz
    • 3
  • Bev Littlewood
    • 4
  1. 1.Department of Computing ScienceUniversity of Newcastle upon TyneNewcastle upon TyneUK
  2. 2.LAAS-CNRSToulouseFrance
  3. 3.Institut für Technische InformatikTechnische Universität WienWienAustria
  4. 4.Centre for Software ReliabilityThe City UniversityNorthampton Square, LondonUK

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-79791-0
  • Online ISBN 978-3-642-79789-7
  • Buy this book on publisher's site