175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Dependable Computing and Fault-Tolerant Systems

Software Diversity in Computerized Control Systems

Editors: Voges, Udo (Ed.)

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-8932-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-8934-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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. Moulding DEDIX 87 - A Supervisory System for Design Diversity Experiments at UCLA . . . . . . . . . . . . . . . . . .

Table of contents (10 chapters)

  • Introduction

    Voges, Udo

    Pages 1-6

  • ERICSSON Safety System for Railway Control

    Hagelin, Gunnar

    Pages 11-21

  • Use of Diversity in Experimental Reactor Safety Systems

    Voges, Udo

    Pages 29-49

  • The PODS Diversity Experiment

    Bishop, P. G.

    Pages 51-84

  • AIRBUS and ATR System Architecture and Specification

    Traverse, Pascal

    Pages 95-104

Buy this book

eBook $74.99
price for USA (gross)
  • ISBN 978-3-7091-8932-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-7091-8934-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Diversity in Computerized Control Systems
Editors
  • Udo Voges
Series Title
Dependable Computing and Fault-Tolerant Systems
Series Volume
2
Copyright
1988
Publisher
Springer-Verlag Wien
Copyright Holder
Springer-Verlag/Wien
eBook ISBN
978-3-7091-8932-0
DOI
10.1007/978-3-7091-8932-0
Softcover ISBN
978-3-7091-8934-4
Series ISSN
0932-5581
Edition Number
1
Number of Pages
VII, 216
Topics