Software Diversity in Computerized Control Systems

1. Front Matter

   Pages i-vii

   PDF

2. Introduction

   1. Front Matter

      Pages 1-1

      PDF

   2. Introduction

      • Udo Voges

      Pages 1-6

3. Railway Applications

   1. Front Matter

      Pages 7-10

      PDF

   2. ERICSSON Safety System for Railway Control

      • Gunnar Hagelin

      Pages 11-21

4. Nuclear Applications

   1. Front Matter

      Pages 23-27

      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

      PDF

   2. AIRBUS and ATR System Architecture and Specification

      • Pascal Traverse

      Pages 95-104

6. University Research

   1. Front Matter

      Pages 105-107

      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

      PDF

   2. Reliability Modelling for Fault-Tolerant Software

      • B. Littlewood, T. Anderson

      Pages 173-182

8. Conclusion

   1. Front Matter

      Pages 183-183

      PDF

   2. Conclusion

      • Udo Voges

      Pages 183-187

9. Annotated Bibliography

   1. Front Matter

      Pages 189-189

      PDF

   2. Annotated Bibliography on Software Diversity

      • Udo Voges

      Pages 191-216

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 . . . . . . . . . . . . . . . . . .

• architecture
• design
• modeling
• safety
• software
• complexity

• Kernforschungszentrum Karlsruhe GmbH, Karlsruhe, Federal Republic of Germany

  Udo Voges

Policies and ethics