|
" Software Diversity in Computerized Control Systems "
edited by Udo Voges.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
767704
|
| Doc. No
|
:
|
b587688
|
| Main Entry
|
:
|
edited by Udo Voges.
|
| Title & Author
|
:
|
Software Diversity in Computerized Control Systems\ edited by Udo Voges.
|
| Publication Statement
|
:
|
Vienna : Springer Vienna, 1988
|
| Series Statement
|
:
|
Dependable computing and fault-tolerant systems, 2.
|
| Page. NO
|
:
|
(VII, 216 pages 41 illustrations)
|
| ISBN
|
:
|
3211820140
|
|
|
:
|
: 3709189322
|
|
|
:
|
: 3709189349
|
|
|
:
|
: 9783211820148
|
|
|
:
|
: 9783709189320
|
|
|
:
|
: 9783709189344
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computer-aided design.
|
| Subject
|
:
|
Software engineering.
|
| LC Classification
|
:
|
QA76.9.F38E358 1988
|
| Added Entry
|
:
|
Udo Voges
|
| |