Diese Vorlesung basiert auf dem Inhalt des Buches Causal System Analysis von Prof. Ladkin. Teile von dem Buch sind schon als Industrie-Tutorium und Konferenz-Beiträge geführt worden. Vier Kopien des Buches befinden sich im Semester-Apparat.
Die Methode Causal System Analysis ist eine Methode der kausalen Analyse der Funktionsweise und der Funktionsfähigkeit komplexer technologischen Systemen. Why-Because Analysis ist eine Methode der kausalen Erklärung von Unfällen und Vorfällen komplexer Systeme und ist ein Teil der CSA. Die Methode ist schon im industriellen Einsatz. Die Vorlesung bietet eine Einführung in die CSA und WBA an.
Die Motivation für die Vorlesung sowie für das Begleitseminar lautet wie folgt: Komplexe Systeme beinhalten oft nicht nur digitale Komponenten (Software und Hardware) sondern physikalische, prozedurale und menschliche Komponenten. Beispiele sind Verkehrssysteme wie die kommerzielle Luftfahrt, die Bahn und das Internet. Kleinere Beispiele findet man in Autos und Kommunikationssystemen. Solche Systeme müssen in der Regel bestimmte Zuverlässigkeits- sowie Sicherheitsbedingungen erfüllen. Trotzdem läuft alles manchmal schief bis zum Absturz. Methoden, wie in diesem Seminar vorgestellt, für die Sicherheitsanalyse solcher Systeme sind wichtig und werden von den Herstellern der Systeme oftmals pflichtweise verwendet.
Die Literatur besteht aus dem Buch Causal System Analysis. Vier Kopien des Buches befinden sich im Semester-Apparat. Außerdem liegen Teile des Buches auf unseren WWW-Seiten unter Publications, im Buch Why-Because Analysis, RVS-Bk-98-01 sowie im Notes on the Foundations of System Safety and Risk, RVS-Bk-00-01, bei www.rvs.uni-bielefeld.de. Asserdem sind sämtliche Papers auf den Seiten auch relevant. Außerdem findet man eine Menge von Beispielen von Systemproblemen in dem Buch
Rhythmus | Tag | Uhrzeit | Format / Ort | Zeitraum | |
---|---|---|---|---|---|
wöchentlich | Fr | 10-12 | C0-259 | 03.04.-14.07.2006 |
Verstecke vergangene Termine <<
Studiengang/-angebot | Gültigkeit | Variante | Untergliederung | Status | Sem. | LP | |
---|---|---|---|---|---|---|---|
Bioinformatik und Genomforschung / Bachelor | (Einschreibung bis SoSe 2011) | Wahl | 6. | 3 | |||
Naturwissenschaftliche Informatik / Diplom | (Einschreibung bis SoSe 2004) | allgem.HS | HS |