Software Diversity in Computerized Control Systems

Author:   Udo Voges
Publisher:   Springer Verlag GmbH
Edition:   Softcover reprint of the original 1st ed. 1988
Volume:   2
ISBN:  

9783709189344


Pages:   216
Publication Date:   09 January 2012
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $189.95 Quantity:  
Add to Cart

Share |

Software Diversity in Computerized Control Systems


Add your own review!

Overview

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

Full Product Details

Author:   Udo Voges
Publisher:   Springer Verlag GmbH
Imprint:   Springer Verlag GmbH
Edition:   Softcover reprint of the original 1st ed. 1988
Volume:   2
Dimensions:   Width: 17.00cm , Height: 1.20cm , Length: 24.40cm
Weight:   0.402kg
ISBN:  

9783709189344


ISBN 10:   3709189349
Pages:   216
Publication Date:   09 January 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1. Introduction.- 2. Railway Applications.- ERICSSON Safety System for Railway Control.- 3. Nuclear Applications.- Use of Diversity in Experimental Reactor Safety Systems.- The PODS Diversity Experiment.- 4. Flight Applications.- AIRBUS and ATR System Architecture and Specification.- 5. University Research.- Tolerating Software Design Faults in a Command and Control System.- DEDIX 87 — A Supervisory System for Design Diversity Experiments at UCLA.- 6. Modelling Issues.- Reliability Modelling for Fault-Tolerant Software Report on a Workshop Held in Badgastein, Austria, July 1986.- 7. Conclusion.- 8. Annotated Bibliography.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

Aorrng

Shopping Cart
Your cart is empty
Shopping cart
Mailing List