Software-Desaster, und wie man sie verhindern kann

Proseminar (WS 2002/03)

Prof. Tobias Nipkow & Mitarbeiter

Inhalt

Programmfehler sind oft nur irritierend, können aber auch verheerende Folgen haben.  Ein Fehler im Pentium-Prozessor kostete Intel im Jahr 1994 US$ 306 Millionen. Fehler in einem Steuerrechner des neuen Stellwerks im Bahnhof Hamburg Altona führten im Jahr 1995 dazu, daß der Bahnhof für mehrere Tage nicht angefahren werden konnte, und verursachte erheblichen Ärger bei den Bahnkunden.  Aus der Luft- und Raumfahrt sind etliche durch Softwarefehler verursachte Unfälle bekannt, die zum Teil auch zum Verlust von Menschenleben führten.

In dem Proseminar wollen wir einige der bekanntesten dieser Fehler und die durch sie ausgelösten Desaster untersuchen.  Dabei soll jeweils

Themen werden jeweils in Zweiergruppen bearbeitet.  Jede Gruppe recherchiert Verlauf und Auswirkungen eines Desasters und stelle eine Technik aus der Informatik vor, mit der man Fehler dieser Art verhindern kann.  Die Themenübersicht finden Sie weiter unten auf dieser Seite.

Anmeldung

Inzwischen wurden alle Themen vergeben.  Weitere Anmeldungen sind nicht mehr möglich.

Übersicht über die Themen und Termine

Datum Teilnehmer Betreuer Unglück Vermeidbar durch Literatur
30.10. Kutter, Hopfengärtner Farhad Mehta Internet worm of 1988 that used holes in the sendmail and
finger demons

(Ausarbeitung)
Firewall

(Ausarbeitung)
http://www.mit.edu/people/eichin/virus/main.html
6.11. Kein Vortrag (Tag der Informatik)
13.11. Yu, Pletzer Martin Wildmoser Computerviren

(Ausarbeitung)
(update: 20.11.02)
Virenbekaempfung

(Ausarbeitung)
(update: 17.02.03)
http://www.u-fixit.com/lv-virus.htm, http://getvirushelp.com/iloveyou/
20.11. Herbers, Hasan Martin Strecker Therac Accident (medizinisches Bestrahlungsgeraet)

(gemeinsame Ausarbeitung)
Spezifikation mit Z

(Ausarbeitung siehe links)
http://sunnyday.mit.edu/therac-25.html
Z User Forum,
Jonathan Jacky: The way of Z. Cambridge University Press 1997
27.11. Bürgmayr, Pagano Norbert Schirmer Mars climate orbiter loss

(Ausarbeitung)
Dimensionstypen

(Ausarbeitung)
http://citeseer.nj.nec.com/kennedy94dimension.html
4.12. Riedel, Mattess Gertrud Bauer Ariane

(Ausarbeitung)
Abstrakte Interpretation

(Ausarbeitung)
http://java.sun.com/people/jag/Ariane5.html, http://www.gsi.de/~giese/swr/ariane5.html, http://www.daimi.au.dk/~hrn/PPA/preface.html#chap4
und weitere Literatur
11.12. Wang, Iliev Tobias Nipkow Pentium

(Ausarbeitung)
Formale Methoden

(Ausarbeitung)
http://www.cs.earlham.edu/~dusko/cs63/fdiv.html, http://boole.stanford.edu/pub/anapent.ps.gz, http://www.cs.unm.edu/~kapur/abstracts/fsttcs97.html, http://www.csl.sri.com/users/ruess/papers/CAV96/index.html
18.12. Hennes Clemens Ballarin Stellwerk in Hamburg Altona und Petri-Netze

(Ausarbeitung)
c't 5/1995
8.1. Hampel, Johansson Gerwin Klein  STS-1 Columbia Launch Delay

(Ausarbeitung)
Model Checking

(Ausarbeitung)
J. R. Garman. The "bug" heard 'round the world. ACM Software Engineering 
Notes, 6(5):3--10, October 1981
15.1. Bender, Ulmer Stefan Berghofer Airbusabsturz in Warschau

(Ausarbeitung)
Temporal Logic of Actions (TLA)

(Ausarbeitung)
http://www.rvs.uni-bielefeld.de/publications/Incidents/, http://www.rvs.uni-bielefeld.de/publications/Incidents/.../abstracts.html#A320

Die Vorträge finden Mittwochs von 14:00 bis 15:30 statt (Raum: Konrad Zuse Besprechungsraum, 01.11.18).  Bitte beachten Sie, dass die Ausarbeitungen zu den Vorträgen (als Postscript- oder PDF-Datei) so rechtzeitig abgegeben werden müssen, dass beim jeweils vorhergehenden Vortrag Ausdrucke an alle Teilnehmer verteilt werden können.  Abgabe des Vortrags der ersten Gruppe am 23.10.


Martin Wildmoser
Last modified February 18th, 2003.