Software-Desaster, und wie man sie verhindern kann

Proseminar (WS 2002/03)

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

dargestellt werden, was genau schief ging, und wie es dazu kommen konnte, und
eine Technik aus der Informatik vorgestellt werden, die solche Fehler verhindern hilft.

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.