Udo Voges – författare

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems.

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems.

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.

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.

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 . . . . . . . . . . . . . . . . . .