Software diversity in computerized control systems
著者
書誌事項
Software diversity in computerized control systems
(Dependable computing and fault-tolerant systems, vol. 2)
Springer Verlag, 1988
- N.Y.
- Wien
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 192-216
内容説明・目次
内容説明
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.
目次
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. Schutz, 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.
「Nielsen BookData」 より