عنوان

Software Diversity in Computerized Control Systems

(Number (ISBN

3211820140

(Number (ISBN

3709189322

(Number (ISBN

3709189349

(Number (ISBN

9783211820148

(Number (ISBN

9783709189320

(Number (ISBN

9783709189344

Number

b587688

Title Proper

Software Diversity in Computerized Control Systems

General Material Designation

[Book]

First Statement of Responsibility

edited by Udo Voges.

Place of Publication, Distribution, etc.

Vienna

Name of Publisher, Distributor, etc.

Springer Vienna

Date of Publication, Distribution, etc.

1988

Specific Material Designation and Extent of Item

(VII, 216 pages 41 illustrations)

Series Title

Dependable computing and fault-tolerant systems, 2.

Text of Note

Introduction --; Railway Applications: G. Hagelin, ERICSSON Safety System for Railway Control --; Nuclear Applications: U. Voges, Use of Diversity in Experimental Reactor Safety Systems. P.G. Bishop, The PODS Diversity Experiment --; Flight Applications: P. Traverse, AIRBUS and ATR System Architecture and Specification --; University Research: T. Anderson, P.A. Barrett, D.N. Halliwell, M.R. Moulding, Tolerating Software Design Faults in a Command and Control System. A. Avizienis, M.R.T. Lyu, W. Schtz, K.-S. Tso, U. Voges: DEDIX 87 --; A Supervisory System for Design Diversity Experiments at UCLA --; Modelling Issues: B. Littlewood, T. Anderson, Reliability Modelling for Fault-Tolerant Software. Report on a Workshop Held in Badgastein, Austria, July 1986. Conclusion --; Annotated Bibliography.

Text of Note

This book deals with the most important aspects of software diversity and its use in computerized control systems, including theoretical background, experiments, and industrial realizations (railway, flight and nuclear applications). Researchers describe their experiments with software diversity and explain their results, including benefits and drawbacks. Practitioners explain their use of it in real systems: why they use this means of fault-tolerance, and how they incorporate it into their systems. In addition to the papers the book contains a rather complete list of publications giving an overview on references about software diversity from its beginning until today. Therefore, this book is a complete description of the state of the art on the topic of software diversity.

Computer science.

Computer-aided design.

Software engineering.

Class number

Book number

edited by Udo Voges.

Udo Voges

Electronic name

[Book]

Y