Über ein fundiertes Sicherheitsbewusstsein (“Safety Awareness”) für Computer-gestützte Steuerungssysteme verfügen
Einfache Sicherheitsmechanismen umfassend prüfen können
Einfache Sicherheitsmechanismen selbstständig entwerfen können
Über Spezialkenntnisse in Bezug auf Sicherheit in den Domänen Bahnsteuerung, Luftfahrt und Automobilbereich verfügen
Verständnis für Methoden des Sicherheitsnachweises erwerben. Kenntnis der einschlägigen Normen und Zertifizierungsanforderungen haben
Verständnis für die gesellschaftlichen und wirtschaftspolitischen Rahmenbedingungen, die zur Bildung von Regeln, Normen und Gesetzen für den Einsatz sicherheits-relevanter Systeme führen
Lerninhalte
Der Begriff der Zuverlässigkeit (Dependability)
Standards und Vorgehensmodelle für sicherheits-relevante Systeme
Modellierung sicherheits-relevanter Systeme
Hazard-Analyse und Risiko-Abschätzung
Entwurfskriterien für sicherheits-relevanter Systeme
Validation, Verifikation und Test sicherheits-relevanter Systeme
Entwicklung von Sicherheitsnachweisen (“Safety Cases”)
Spezialthemen aus den Gebieten
Zertifizierung von Avionik-Systemen
Modellprüfung von Bahnsteuerungen
Spezifikationsformalismen für sicherheits-relevante Systeme
Prüfungsformen
i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Dokumente (Skripte, Programme, Literatur, usw.)
J. C. Laprie (ed.): Dependability: Basic Concepts and Terminology. Springer 1992.
Nancy G. Leveson: SAFEWARE: SYSTEM SAFETY AND COMPUTERS. Addison-Wesley ISBN: 0-201-11972-2.
Nancy G. Leveson: A Systems-Theoretic Approach to Safety in Software-Intensive Systems.. IEEE Trans. on Dependable and Secure Computing, January 2005.
N. Storey: Safety-Critical Computer Systems. Addison Wesley Longman 1996.
M. R. Lyu: Software Reliability Engineering. McGraw-Hill 1995.
Jens Braband: Risikoanalysen in der Eisenbahn-Automatisierung. Edition Signal+Draht, EurailPress, Hamburg, 2005.