[an error occurred while processing this directive]

Analyse von Softwarefehlern - WS 05/06


Dozent:
Prof. Thomas Huckle

Bereich:
2 SWS Hauptseminar für Informatiker nach dem 4. Semester

Zeit und Ort:

Anmeldung per Email erforderlich, mit kurzer Begruendung.
Aus den eingehenden Anmeldungen werden maximal 20 Teilnehmer zugelassen. Benachrichtigung ueber Zulassung erfolgt per Email.

Vorbesprechung fuer angemeldete Teilnehmer:
Donnerstag, 20.10. 14:00 Uhr im 02.07.023

Hörerkreis:
Studierende der Informatik nach dem vierten Semester
Mathematiker oder auch sonstige Interessierte

Voraussetzungen:
Vordiplom

Inhalt:
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. Literatur findet sich auf meiner WWW-Seite, z.B.
http://www5.informatik.tu-muenchen.de/~huckle/bugse.html

Die Vortraege sind jeweils Dienstag und Donnerstag 14:15 im Raum 02.07.023.

3.11. Sayih: Ariane 5
8.11. Ludwig: Toll Collect
10.11. Paikar-Farhangi: Wahlcomputer
15.11. Tumurbaatar: Patriot
17.11. Wahler: Patriot
22.11. verlegt auf eine Woche spaeter!!!
29.11. Kotb: Sicherheitsrisikos
1.12. DIES ACADEMICUS
6.12. Raschied: Pentium Bug
8.12. Gyftakis: Vancouver Boerse, Finanzbugs, und Baechtle: Denver Flughafen, Gepaecktransport
13.12. Jamicic: Medizingeraete
15.12. Doetz: Luftverkehr
20.12. Hristov: Y2k
22.12. Eggers: Finite-Element-bugs: Sleipner, Wetter, London Bridge
10.1. Bindl: Denver Gepaeck
12.1. Unucka: Mars Sojourner
17.1. Schuster: Mars Climate Orbiter, Polar Lander
19.1. Gui: SDI-Raketenabwehrprogramm
24.1. Lachenmeier: Kommerzielle Software
26.1. Verlegt auf 2.2.: Kravchenko: Software Testing
31.1. Verlegt auf 7.2.: Yang: Eisenbahn, Seefahrt
2.2. Kravchenko
7.2. Yang
9.2. Fahrengi: Sicherheitsrisikos

Themen :
Pentium-Prozessor-Fehler:
Vancouver-Börsen-Fehler und weitere Finanz-Bugs:
Ariane-5
Patriot
Luft- und Seefahrt-Bugs:
Mars Climate Orbiter und Polar Lander
Weitere Raumfahrt-Bugs:
Finite-Element Fehler (Sleipner, London bridge, Tacoma, Wetter):
Mars Sojourner:
Eisenbahnfehler (Hamburg,London,...):
Medizingeräte (Therac-25):
Denver Flughafen, Gepäcktransport:
Sicherheitsrisikos:
SDI:
Fehler in kommerzieller Software (Excel,...)
Software Testing
Wahl-Computer
Toll Collect
Y2K revisited
Sprechstunde:
Dienstag, 11-12 Uhr, Raum 02.05.044, Tel.: 089 289 18609


huckle@in.tum.de