Advertisement

Introduction and Overview

  • David Powell
  • Arturo Amendola
  • Jean Arlat
  • Berthold Attermeyer
  • Ljerka Beus-Dukic
  • Andrea Bondavalli
  • Paolo Coppola
  • Carlo Dambra
  • Alessandro Fantechi
  • Eric Jenn
  • Christophe Rabéjac
  • Vincent Thevenot
  • Andy Wellings
Chapter

Abstract

The development and validation of fault-tolerant systems for critical real-time applications are currently both costly and time-consuming. Most such systems developed until now have been specialised to meet the particular requirements of the application domain for which they were targeted. This specialisation has led to very costly, inflexible, and often hardware-intensive solutions that, by the time they are developed, validated and certified for use in the field, can already be out-of-date in terms of their underlying hardware and software technology. This problem is exacerbated in application domains that require the systems to be deployed for several decades, i.e., almost an order of magnitude longer than the typical lifetime of a generation of computing technology. Furthermore, it is currently very difficult to re-use the results of previous fault-tolerance developments when building new products.

Keywords

Fault Diagnosis Fault Treatment Formal Verification Design Fault Integrity Level 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 2001

Authors and Affiliations

  • David Powell
  • Arturo Amendola
  • Jean Arlat
  • Berthold Attermeyer
  • Ljerka Beus-Dukic
  • Andrea Bondavalli
  • Paolo Coppola
  • Carlo Dambra
  • Alessandro Fantechi
  • Eric Jenn
  • Christophe Rabéjac
  • Vincent Thevenot
  • Andy Wellings

There are no affiliations available

Personalised recommendations