Skip to main content
SpringerLink
Log in
SpringerLink
Log in

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems

  • Book
  • © 2001

Overview

Editors:
  1. David Powell

    1. CNRS, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. Introduction and Overview

    • David Powell, Arturo Amendola, Jean Arlat, Berthold Attermeyer, Ljerka Beus-Dukic, Andrea Bondavalli et al.
    Pages 1-26

  3. Inter-Channel Communication Network

    • Christophe Rabéjac, David Powell
    Pages 27-50

  4. Scheduling

    • Ljerka Beus-Dukic, Andy Wellings
    Pages 51-69

  5. Error Processing and Fault Treatment

    • Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni, David Powell, Christophe Rabéjac
    Pages 71-86

  6. Output Consolidation

    • Stéphane Lautier, Eric Jenn
    Pages 87-98

  7. Multilevel Integrity Mechanisms

    • Eric Totel, Ljerka Beus-Dukic, Jean-Paul Blanquart, Yves Deswarte, Vincent Nicomette, David Powell et al.
    Pages 99-119

  8. Architecture Development Environment

    • Ljerka Beus-Dukic, Andy Wellings, Paolo Coppola, Alessandro Paganone
    Pages 121-138

  9. Formal Verification

    • Cinzia Bernadeschi, Alessandro Fantechi, Stefania Gnesi
    Pages 139-155

  10. Dependability Evaluation

    • Jean Arlat, Andrea Bondavalli, Felicita Di Giandomenico, Mohamed Tahar Jarboui, Eric Jenn, Karama Kanoun et al.
    Pages 157-191

  11. Demonstrators

    • Carlo Dambra, Eric Jenn, Christophe Rabéjac, Vincent Nicomette, Vincent Thevenot
    Pages 193-227

  12. Back Matter

    Pages 229-242
    Download chapter PDF
Back to top

Keywords

About this book

The design of computer systems to be embedded in critical real-time applications is a complex task. Such systems must not only guarantee to meet hard real-time deadlines imposed by their physical environment, they must guarantee to do so dependably, despite both physical faults (in hardware) and design faults (in hardware or software). A fault-tolerance approach is mandatory for these guarantees to be commensurate with the safety and reliability requirements of many life- and mission-critical applications. This book explains the motivations and the results of a collaborative project', whose objective was to significantly decrease the lifecycle costs of such fault­ tolerant systems. The end-user companies participating in this project already deploy fault-tolerant systems in critical railway, space and nuclear-propulsion applications. However, these are proprietary systems whose architectures have been tailored to meet domain-specific requirements. This 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.

Editors and Affiliations

  • CNRS, France

    David Powell

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation