Berühmt-berüchtigte Software-Fehler
Seminar im Sommersemester 2003
Dr. Bernhard Beckert
Gerd Beuster
Jan Murray
Allgemeine Informationen
Softwarefehler und ihre Vermeidung spielen eine große Rolle in der
Programmentwicklung. An Hand von "klassischen" Beispielen sollen aus
verschiedensten Bereichen gravierende Softwarefehler analysiert
werden. Dabei soll jeder Vortrag folgende Fragen für den jeweiligen Fehler beantworten:
- Was ist passiert?
Beschreibung der Software und des Systems, dessen Teil die Software war, des aufgetretenen
Fehlers, der unmittelbaren Folgen, des Schadens und der
organisatorischen/technischen Konsequenzen die gezogen wurden.
- Was waren die Ursachen?
Technische Fehler, Versagen von Test/Validierung, Fehler in der Planung und im Management, usw.
- Mit welchen Maßnahmen hätte der Fehler verhindert werden können?
- Was können wir daraus lernen?
- Welche anderen schwerwiegenden Software-Fehler hat es in diesem Bereich gegeben?
Mit Bereich ist hier nicht die Fehlerart/-ursache sondern der Anwendungsbereich gemeint (Medizin, Raumfahrt, etc.).
Lernziele sind bei diesem wie jedem anderen Seminar
- Selbständiges Erarbeiten eines vorgegebenen Themas
- Vorbereiten und Halten eines Fachvortrags
- Auseinandersetzung mit und Diskussion über Fachvorträge
Seminarteilnehmer und Vortragsthemen
Betreuer:
BB - Bernhard Beckert
GB - Gerd Beuster
JM - Jan Murray
- BB - Christian Weyand: Ariane 5 (Explosion beim 1. Start) - Luftfahrt
- GB - Sebastian Knieschewski: Pentium-Bug - Hardware
- JM - Christian Glass: Mars Climate Orbiter und Mars Sojourner - Raumfahrt
- GB - Martin Pfeifer: Therac-25 Bestrahlungsgerät - Medizin
- BB - Tina Walber: London Ambulance Dispatch System und Gepäcktransport am Flughafen Denver - Logistik
- GB - Uwe Vogt: Vancouver Stock Exchange Index (Rundungsfehler) - Finanzwesen
- BB - Matthias Bertram: Stellwerk Hambug Altona - Eisenbahnwesen
- GB - Martin Eisemann: Patriot-Luftabwehrrakete (Versagen während des Golfkriegs 1991) - Militär
- BB - Johannes Schaden: Sinken der Ölbohrplattform Sleipner - Ingenieurwesen (Simulation, Finite Elemente)
- GB - Joerg Sesterhenn: Versagen des AT&T-Ferngesprächsystems - Telekommunikation
- JM - René Lotz: USS Yorktown - Schiffahrt
- BB - Sven Westenberg: Parteitag der Grünen - Wahlen
Organisatorisches
Das Seminar findet als Blockveranstaltung an zwei Tagen am Ende
des Semesters statt. Der endgütige Termin wird beim 2. Treffen am 28.5. festgelegt.
Eine schriftlich festgehaltene Planung der Vortragsstruktur und des
-inhalts (1-2 Seiten) ist bis 6 Wochen vor dem Seminar zu
erstellen und mit dem Betreuer zu besprechen. Die Vortragsfolien
sind bis 3 Wochen vor dem Seminar zu
erstellen und mit dem Betreuer abzustimmen.
Voraussetzungen zur Erlangung des Scheins
- Halten (in freier Rede) eines selbständig und sorgfältig erarbeiteten Vortrags von 45min
- Anwesenheit bei allen Seminarvorträgen und Beteiligung an der Diskussion nach den Vorträgen
- Anfertigung einer Ausarbeitung zum Thema des Vortrags von 10-15 Seiten (entweder als
LaTeX-Dokument in einem bei einer
wissenschaftlichen Konferenz üblichen Format oder als Web-Seite).
Links zum Thema
Vortragsfolien
Ausarbeitungen
LaTeX
Für die Ausarbeitung sollte, wenn sie mit LaTeX erstellt wird, der
article-Style mit der Option 12pt (Schriftgröße
12pt) und dem Zusatzpackage a4 (DIN-A4-Format) verwendet
werden. (Damit ist das Layout im wesentlichen festgelegt.)
Für die Erstellung der Folien sei das prosper-Package
empfohlen.
Anmeldung und weitere Informationen:
Bernhard Beckert