This is an archived page and is no longer updated.
Current content of Prof. Ladkin's research group is available at https://rvs-bi.de/

RVS-Lehrveranstaltungen - Wintersemester 1999/2000

Grundlagen der System-Korrektheit und des -Versagens

Vorlesungs-Beleg-Nr.: 39 21 24
Seminars-Beleg-Nr.: 39 21 30
Vorlesungs--Beginn: 15.10.99
Seminar--Organisatorisches Treffen: 14.10.99 um 10.00
Beides im Seminarraum D6-135

Ein System ist ein Artefakt, deswegen hat es Ziele. Um diese Ziele zu erreichen, muß es ein vernünftiges Design geben und dieses Design implementiert werden. Also hat ein System mindestens diese drei Teile: Ziel, Design (-Spezifikation) und physikalische Realisierung. Normalerweise hat man einen vierten: eine Ziel-Ausschreibung (die sogenannte Anforderungs-Spezifikation) und oft bleibt das Ziel unspezifisch. Wie können wir sicher sein, daß das System genau tut, was wir vorhaben? Was für Fehlermöglichkeiten gibt es? Die Fehleranalyse ist ein wichtiger Teil des Ingenieurwesens. Fehler bei rein stofflichen Artefakten wie Brücken zeigen Zustandsänderungen: irgendetwas bricht zusammen. Bei dynamischen Systemen, wie von Computern unterstützte, gibt es Verhaltens-Fehler, ohne das etwas zusammenbricht. Diese Art Fehler führt oft zu Beschreibungs- und Analyse-Schwierigkeiten. Wir werden sehen, wie sich mit Hilfe der WB-Graph-Methode die Geschichte der Ereignisse eines fehlerhaften Verhaltens rekonstruieren lassen kann.

Am interessantesten sind die Systeme, die nicht nur einen physikalischen Teil haben, sondern auch einen `menschlichen' Teil, wie z.B. Flugzeuge. Flugzeug Vor- und Unfälle sind gründlich untersucht und sorgfältig dokumentiert. Im Seminar berichten wir über Vor- und Unfälle von Flugzeugen und anderen Systemen. Das Projekt-Seminar (siehe unten) wird die neue Why-Because-Analyse auf Unfallberichte anwenden.

Die Veranstaltung ist in zwei Teile geteilt, um so Zuhörer die Vorlesungen teilnehmen können, ohne das sie auch Hausarbeit im Seminar-Bereich machen müssen. Teilnehmer mit Lust auf Hausarbeit die auch zum Spitzenforschung gehört sind auf dem Projekt-Seminar Why-Because-Analyse hingewiesen.

Literatur


Why-Because-Analyse und Einzelprojekten: Projekt-Seminar

Beleg-Nr.: 39 21 32
Beginn: Organisatorisches Treffen Mittwoch 20.10.99 um 11.00 in D6-131

Wir werden die WB-Graph Methode für Analyse von Vor- und Unfall-Berichten anwenden. Die WB-Graph-Methode ist eine Entwicklung von Prof. Ladkin, um Kausal-Faktoren in Unfälle genau anzugeben und zu analysieren. Wir werden neue Beispiele bearbeiten und Unterstützung-Tools entwickeln.

Literatur


Arbeitsgemeinschaft Rechnernetze und Verteilte Systeme

Beleg-Nr.: 39 21 42
Beginn: Organisatorisches Treffen Mittwoch 20.10.97 um 11.00 in D6-131

Alle sind eingeladen, die Interesse an Problemen mit der Spezifikation, Verifikation und Analyse von Systemen haben. Themen sind: