Software Diversity in Computerized Control Systems
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Udo Voges.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Vienna
نام ناشر، پخش کننده و غيره
Springer Vienna
تاریخ نشرو بخش و غیره
1988
مشخصات ظاهری
نام خاص و کميت اثر
(VII, 216 pages 41 illustrations)
فروست
عنوان فروست
Dependable computing and fault-tolerant systems, 2.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
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.
رده بندی کنگره
شماره رده
QA76
.
9
.
F38
نشانه اثر
E358
1988
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )