392117 Causal Reasoning in System Safety (V) (SoSe 2003)

Dieses Seminar ist eine Erweiterung von System Safety (WS 2002-3) und wird teilweise in der Form eines Workshops und teilweise in der Form eines traditionellen Seminars angeboten. Neue Teilnehmer sind willkommen.

Als Workshop bearbeiten wir momentan unterschiedliche WB-Analyse (Unfälle von Royal Majesty, Blumberg/Donaueschingen, "Friendly Fire", usw). Diese WBA werden im Rahmen der Bieleschweig Workshops on System Engineering in Braunschweig in Juli 2003 vorgestellt.

Als Vorträge-Angebot gibt es

• Einführungen in unterschiedliche Formen der Logik: Aussagenlogik, allgemeine Modale Logik, und deren spezifische Logiken Causal Logic (Lewis), Hoare-Logik (Hoare), Explanatory Logic (Ladkin), Temporale Logik, usw.
• Die WB-Analyse von unterschiedlichen Vorfällen und Unfällen im Bereich Verkehrsabstürze und Internetsicherheit.

Literaturangaben

• Causal System Analysis, von Peter Ladkin Vier Kopien des Buches befinden sich im Semester-Apparat.
• Unterschiedlich WB-Analyse von den RVS Publications
• Bieleschweig Workshops on Systems Engineering
• Computer-Related Risks by Dr. Peter Neumann, Moderator of the RISKS-Forum, (Addison-Wesley, 1995).
• Secrets and Lies: Digital Security in a Networked World von Bruce Schneier, John Wiley and Sons, 2000
• Security Engineering: A Guide to Building Dependable Distributed Sysstems von Ross Anderson, John Wiley and Sons, 2001.

Externe Kommentarseite

http://www.rvs.uni-bielefeld.de/lecture/S03.html