Seminar

Pleiten Pech und Pannen in der Informatik

Termine

Termin Zeit Fehlerklasse Methoden

11. Juli 2001
Raum 207 (Sand 13) 13:00 EntwurfsfehlerProgrammierfehler (SW) informelle Methoden und Compilertechniken:Typisierung, statische Analysen, Code-Reviews, Dokumentation

13:45 Testen: Blackbox Tests, Whitebox Tests

14:30 Entwurfsfehler (HW) Simulation, Testbenches, Überdekkungsmaße

15:15 Equivalence Checking

12. Juli 2001
Raum 301 (Sand 13) 14:00 Produktionsfehler Automatic Test Pattern Generation (ATPG)

14:45 fehlerhafte Umweltannahmen Stresstests, Integrationstests (zum Beispiel auch mit Emulatoren)

15:30 Betriebsfehler Fehleremulation (damit System im Fehlerfall in einen fail-safe-state wechselt), Selbsttests

16:15 FMEA, Fault Tree Analysis

Termin	Zeit	Fehlerklasse	Methoden
11. Juli 2001 Raum 207 (Sand 13)	13:00	EntwurfsfehlerProgrammierfehler (SW)	informelle Methoden und Compilertechniken:Typisierung, statische Analysen, Code-Reviews, Dokumentation
13:45	Testen: Blackbox Tests, Whitebox Tests
14:30	Entwurfsfehler (HW)	Simulation, Testbenches, Überdekkungsmaße
15:15	Equivalence Checking
12. Juli 2001 Raum 301 (Sand 13)	14:00	Produktionsfehler	Automatic Test Pattern Generation (ATPG)
14:45	fehlerhafte Umweltannahmen	Stresstests, Integrationstests (zum Beispiel auch mit Emulatoren)
15:30	Betriebsfehler	Fehleremulation (damit System im Fehlerfall in einen fail-safe-state wechselt), Selbsttests
16:15	FMEA, Fault Tree Analysis

Betreuer

Jürgen Ruf

Sand 13, Raum 222

07071 / 29-74706

_ruf_@informatik.uni-tuebingen.de

Thomas Kropf

Sand 13, Raum 222

07071 / 29-74706

_kropf_@informatik.uni-tuebingen.de

Gerald Heim

Sand 13, Raum 139

07071/29-77347

_heim_@informatik.uni-tuebingen.de

Themenaufbau

Jedes Thema soll folgende Punkte umfassen:

Fehlertyp mit Beschreibung (ca. 5 Minuten im Vortrag)
Fallbeispielen aus der Literatur (ca. 10 Minuten im Vortrag)
Maßnahmen und Verfahren zur Vermeidung skizzieren (ca. 10 Minuten im Vortrag)

Bedingungen für den Seminarschein

Um den Schein zu erhalten muß ein Vortrag (25 Minuten + Diskussion) gehalten werden und
eine schriftliche Ausarbeitung abgegeben werden (zwischen 5 und 10 Seiten im PS- oder PDF-Format).
Anwesenheit bei allen Seminarterminen

Randbedingungen

Vortragsentwurf zwei Wochen vor dem Vortragstermin mit dem Betreuer

bei Bedarf eine Woche vorher nochmals gemeinsame Durchsicht
Ausarbeitung bis zum Ende des Semesters (13.7.2001) bei den Betreuern abgeben

Literaturhinweise

Zu den Katastrophen gibt es ein Buch in der Infobib:

Peter G. Neumann, Computer Related Risks, ACM Press

und eine WWW-Adresse: http://catless.ncl.ac.uk/Risks

Zu den Methoden wird die Literatur von den Teilnehmern selbst recherchiert (im WWW), außerdem können die Betreuer noch zusätzliche Literatur bei Bedarf zur Verfügung stellen.

Es bieten sich Bücher und Artikel aus den folgenden Bereichen an:

Softwareengeneering
Hardwareentwurf
Verifikation
Kryptographie

Allgemeine Hinweise zu Vortragsvorbereitung, Vortragsstil:

Themenvorschläge

Fehlertypen	Methoden	bearbeitet durch
Programmierfehler (SW)	informelle Methoden und Compilertechniken:Typisierung, statische Analysen, Code-Reviews, Dokumentation	C.P.
	Testen: Blackbox Tests, Whitebox Tests	R.H.
	Formale Methoden: Softwareverifikation
Entwurfsfehler (HW)	Hardwaresynthese
	Statische Timing-Analyse (Vermeidung von Hazards)
	Simulation, Testbenches, Überdekkungsmaße	M.B.
	Equivalence Checking	G.S.
	Model Checking
Spezifikationsfehler	High-Level-Spezifikation (UML), Codesynthese
	informelle Methoden: FMEA, Fault Tree Analysis (FTA)	Flo Wenning
Betriebsfehler	Fehleremulation (damit System im Fehlerfall in einen fail-safe-state wechselt), Selbsttests	M.J.
	Fehlertoleranz und Redundanz
fehlerhafte Umweltannahmen	Stresstests, Integrationstests (zum Beispiel auch mit Emulatoren)	B.H.
Produktionsfehler	Automatic Test Pattern Generation (ATPG)	K.D.
(Daten) Sicherheitsfehler	Kryptographie Methoden, Signaturen

Bei der Auswahl der Fallbeispiele sollen sich die Teilnehmer absprechen, die den gleichen Fehlertyp behandeln. Folgende Unterbereiche bieten sich an:

Kommunikationssysteme
Raumfahrt
Flugverkehr
Straßen- und Schienenverkehr
Finanzwesen
Medizintechnik