392117 Causal Reasoning in System Safety (V) (SoSe 2003)
Short comment
Contents, comment
-
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.
Bibliography
-
- 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.
External comments page
Teaching staff
Dates ( Calendar view )
| Frequency | Weekday | Time | Format / Place | Period |
|---|
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Mediengestaltung / Bachelor | (Enrollment until SoSe 2004) | TB5 | Wahlpflicht | 4. 6. | 3 | scheinfähig Aufnahme in Absprache mit dem Dozenten | |
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | VS | HS |
No more requirements
No eLearning offering available
- Address:
- SS2003_392117@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_1062134@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- Friday, December 6, 2002
- Last update rooms:
- Thursday, March 27, 2003
- Type(s) / SWS (hours per week per semester)
- lecture (V) / 2
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=1062134
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 1062134
Top of page