Ebook: Software Diversity in Computerized Control Systems
- Tags: Special Purpose and Application-Based Systems, Complexity, Software Engineering, Computer-Aided Engineering (CAD CAE) and Design, Automotive Engineering, Energy Systems
- Series: Dependable Computing and Fault-Tolerant Systems 2
- Year: 1988
- Publisher: Springer-Verlag Wien
- Edition: 1
- Language: English
- pdf
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 . . . . . . . . . . . . . . . . . .
Content:
Front Matter....Pages i-vii
Front Matter....Pages 1-1
Introduction....Pages 1-6
Front Matter....Pages 7-10
ERICSSON Safety System for Railway Control....Pages 11-21
Front Matter....Pages 23-27
Use of Diversity in Experimental Reactor Safety Systems....Pages 29-49
The PODS Diversity Experiment....Pages 51-84
Front Matter....Pages 85-93
AIRBUS and ATR System Architecture and Specification....Pages 95-104
Front Matter....Pages 105-107
Tolerating Software Design Faults in a Command and Control System....Pages 109-128
DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLA....Pages 129-168
Front Matter....Pages 169-172
Reliability Modelling for Fault-Tolerant Software....Pages 173-182
Front Matter....Pages 183-183
Conclusion....Pages 183-187
Front Matter....Pages 189-189
Annotated Bibliography on Software Diversity....Pages 191-216
Content:
Front Matter....Pages i-vii
Front Matter....Pages 1-1
Introduction....Pages 1-6
Front Matter....Pages 7-10
ERICSSON Safety System for Railway Control....Pages 11-21
Front Matter....Pages 23-27
Use of Diversity in Experimental Reactor Safety Systems....Pages 29-49
The PODS Diversity Experiment....Pages 51-84
Front Matter....Pages 85-93
AIRBUS and ATR System Architecture and Specification....Pages 95-104
Front Matter....Pages 105-107
Tolerating Software Design Faults in a Command and Control System....Pages 109-128
DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLA....Pages 129-168
Front Matter....Pages 169-172
Reliability Modelling for Fault-Tolerant Software....Pages 173-182
Front Matter....Pages 183-183
Conclusion....Pages 183-187
Front Matter....Pages 189-189
Annotated Bibliography on Software Diversity....Pages 191-216
....