Udo Voges - Böcker
Visar alla böcker från författaren Udo Voges. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Computer Safety, Reliability and Security
20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings
Häftad, Engelska, 2001
551 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 20th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2001, held in Budapest, Hungary, in September 2001. The 20 revised full papers presented together with three invited papers were carefully reviewed and selected. The book offers topical sections on reliability assessment and security, safety case and safety analysis, medical systems, human-machine interface, COTS - components off the shelf, testing, formal methods, and control systems.
Software-Diversität und ihre Modellierung
Software-Fehlertoleranz und ihre Bewertung durch Fehler- und Kostenmodelle
Häftad, Tyska, 1989
550 kr
Skickas inom 10-15 vardagar
Software-Diversität wird als eine Fehlertoleranzmaßnahme dargestellt, die Verwendung in Systemen mit hohen Zuverlässigkeitsanforderungen findet. Im ersten Teil des Buches werden die wichtigsten Beispiele angegeben, bei denen Experimente mit Software-Diversität durchgeführt wurden bzw. bei denen Software-Diversität eingesetzt wurde. Im zweiten Teil werden verschiedene Ansätze zur Modellierung der Software-Diversität - Fehlermodell und Kostenmodell - eingeführt. Der Anhang enthält eine z.T. kommentierte Bibliographie mit allen Literaturstellen zur Software-Diversität. Damit wird das Thema in diesem Buch erstmals umfassend dargestellt und sowohl ein Einstieg in die Problematik als auch eine Grundlage für die Verwendung von Software-Diversität in Anwendungsbereichen vermittelt. Mit Hilfe der vorgestellten Fehler- und Kostenmodelle kann bei der Projektplanung abgeschätzt werden, welcher Nutzen - bezogen auf die sich auswirkenden Fehler - und welche Kosten bei verschiedenen Realisierungsformen der Software-Diversität im Vergleich zu einer nicht-diversitären Entwicklung zu erwarten sind. Dieses Buch ist das erste deutschsprachige Werk, das eine so ausführliche Behandlung des Themas Software-Diversität enthält.
540 kr
Skickas inom 10-15 vardagar
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 . . . . . . . . . . . . . . . . . .