Informationen zum Seminar
"Pleiten, Pech und Pannen der Informatik" (SS 2002)
Ausarbeitunfen
Folien
Mittschnitte
Vortragender Thema Ausarbeitung Folien Mittschnitt
Dirk Spöri Fehlertoleranz und -redundanz [pdf] [pdf] nicht verfügbar
Tobias Ruf Chiptest nicht verfügbar [pdf] [avi]
Jörg Frauenhoffer Simulation und Testbenchmethodik [pdf] [pdf] [avi]
Thomas Bender Softwaretest nicht verfügbar [pdf] [avi]
Kirsten Hradek Softwareverifikation nicht verfügbar [pdf] [avi]
Termine
  1. Zwischentreffen am 16. Mai
    Bis zu diesem Termin wird die Literaturrecherche durchgeführt. Es werden kurz die Themen von den Teilnehmern vorgestellt, um eventuelle Kollisionen oder Zusammenarbeiten herauszufiltern.
    Bei diesem Treffen werden wir die weiteren Termine abstimmen.
  2. Zwischentreffen am 13. Juni, 10:15-11:45
    Bis zu diesem Termin präsentiert jeder Teilnehmer eine Gliederung seines Vortrages auf einer Folie.
  3. danach: Bilaterale Treffen mit den Betreuern zur Durchsicht der Vortragsfolien.
  4. 1. Vortragstermin am 11. Juli 2002
    Hardware-Themen: Vorläufiges Programm
    9:00 Fehlertoleranz und -redundanz
    Dirk Spöri
    10:00 Chiptest
    Tobias Ruf
  5. 2. Vortragstermin am 18. Juli 2002
    Software-Themen: Vorläufiges Programm
    9:00 Simulation und Testbenchmethodik
    Jörg Frauenhoffer
    10:00 Software Test (Modultest)
    Thomas Bender
    11:00 Formale Software Verifikation
    Kirsten Hardek
Themen, Teilnehmer und Betreuer
Betreuer: Prof. Dr. Bernd Becker
Simulation und Testbenchmethodik Jörg Frauenhoffer
Fehlertoleranz und -redundanz Dirk Spöri
Chiptest Tobias Ruf
Betreuer: Dr. Jürgen Ruf
Softwaretest Thomas Bender
Softwareverifikation Kirsten Hradek