Skip to main content
SpringerLink
Log in
Book cover

Software Diversity in Computerized Control Systems

  • Conference proceedings
  • © 1988

Overview

Editors:
  1. Udo Voges

    1. Kernforschungszentrum Karlsruhe GmbH, Karlsruhe, Federal Republic of Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Dependable Computing and Fault-Tolerant Systems (DEPENDABLECOMP, volume 2)

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 papers)

  1. Front Matter

    Pages i-vii
    Download chapter PDF

  2. Introduction

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Introduction

      • Udo Voges
      Pages 1-6

  3. Railway Applications

    1. Front Matter

      Pages 7-10
      Download chapter PDF

    2. ERICSSON Safety System for Railway Control

      • Gunnar Hagelin
      Pages 11-21

  4. Nuclear Applications

    1. Front Matter

      Pages 23-27
      Download chapter PDF

    2. Use of Diversity in Experimental Reactor Safety Systems

      • Udo Voges
      Pages 29-49

    3. The PODS Diversity Experiment

      • P. G. Bishop
      Pages 51-84

  5. Flight Applications

    1. Front Matter

      Pages 85-93
      Download chapter PDF

    2. AIRBUS and ATR System Architecture and Specification

      • Pascal Traverse
      Pages 95-104

  6. University Research

    1. Front Matter

      Pages 105-107
      Download chapter PDF

    2. Tolerating Software Design Faults in a Command and Control System

      • Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding
      Pages 109-128

    3. DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLA

      • Algirdas Avižienis, Michael R. T. Lyu, Werner Schütz, Kam-Sing Tso, Udo Voges
      Pages 129-168

  7. Modelling Issues

    1. Front Matter

      Pages 169-172
      Download chapter PDF

    2. Reliability Modelling for Fault-Tolerant Software

      • B. Littlewood, T. Anderson
      Pages 173-182

  8. Conclusion

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Conclusion

      • Udo Voges
      Pages 183-187

  9. Annotated Bibliography

    1. Front Matter

      Pages 189-189
      Download chapter PDF

    2. Annotated Bibliography on Software Diversity

      • Udo Voges
      Pages 191-216
Back to top

Keywords

About this book

Software Diversity is one of the fault-tolerance means to achieve dependable systems. In this volume, some experimental systems as well as real-life applications of software diversity are presented. The history, the current state-of-the-art and future perspectives are given. Although this technique is used quite successfully in industrial applications, further research is necessary to solve some open questions. We hope to report on new results and applications in another volume of this series within some years. Acknowledgements The idea of the workshop was put forward by the chairpersons of IFIP WG lOA, J. -c. Laprie, J. F. Meyer and Y. Tohma, in January 1986, and the edi­ tor of this volume was asked to organize the workshop. This volume was edited with the assistance of the editors of the series, A. AviZienis, H. Kopetz and J. -C. Laprie, who also had the function of reviewers. Karlsruhe, October 1987 U. Voges, Editor Table of Contents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1. Introduction U. Voges 2. Railway Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 ERICSSON Safety System for Railway Control . . . . . . . . . . . . . . . . . . 11 G. Hagelin 3. Nuclear Applications . . . . . . . . . . . . . . . . . . . . . . 23 Use of Diversity in Experimental Reactor Safety Systems . 29 U. Voges The PODS Diversity Experiment . 51 P. G. Bishop 4. Flight Applications . . . . . . . . . . . . . . . . . . . . . . . . . 85 AIRBUS and ATR System Architecture and Specification. . 95 P. Traverse 5. University Research . . . . . . . . . . . . . . . . . . . 105 Tolerating Software Design Faults in a Command and Control System . . . . . . . . . . . . . . . . . . . . . . 109 T. Anderson, P. A. Barrett, D. N. Halliwell, M. R. MouldingDEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . .

Editors and Affiliations

  • Kernforschungszentrum Karlsruhe GmbH, Karlsruhe, Federal Republic of Germany

    Udo Voges

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation