Software Diversity in Computerized Control Systems

  • Udo Voges

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

Table of contents

  1. Front Matter
    Pages i-vii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Udo Voges
      Pages 1-6
  3. Railway Applications

    1. Front Matter
      Pages 7-10
    2. Gunnar Hagelin
      Pages 11-21
  4. Nuclear Applications

    1. Front Matter
      Pages 23-27
    2. P. G. Bishop
      Pages 51-84
  5. Flight Applications

    1. Front Matter
      Pages 85-93
  6. University Research

    1. Front Matter
      Pages 105-107
    2. Tom Anderson, Peter A. Barrett, Dave N. Halliwell, Michael R. Moulding
      Pages 109-128
    3. 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
    2. B. Littlewood, T. Anderson
      Pages 173-182
  8. Conclusion

    1. Front Matter
      Pages 183-183
    2. Udo Voges
      Pages 183-187
  9. Annotated Bibliography

    1. Front Matter
      Pages 189-189

About these proceedings

Introduction

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. Moulding DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . .

Keywords

architecture design modeling safety software

Editors and affiliations

  • Udo Voges
    • 1
  1. 1.Kernforschungszentrum Karlsruhe GmbHKarlsruheFederal Republic of Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-7091-8932-0
  • Copyright Information Springer-Verlag Vienna 1988
  • Publisher Name Springer, Vienna
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-7091-8934-4
  • Online ISBN 978-3-7091-8932-0
  • Series Print ISSN 0932-5581
  • About this book