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

1. Front Matter

   Pages i-xviii

   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

    PDF

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.

• Commercial off-the-shelf
• Hardware
• architecture
• architectures
• communication
• development
• tables

• CNRS, France

  David Powell

Policies and ethics