Chair of Software Engineering: Dependability: WS 2011/12

Lernziele der Vorlesung

Beherrschung spezieller formaler und stochastischer Techniken zur Sicherheits- und Zuverl�ssigkeitsanalyse f�r Software und Systeme
Kenntnisse zur Anwendung einschl�giger Analyseverfahren in der Praxis

Inhalt der Vorlesung

Sicherheit und Zuverl�ssigkeit sind bei Software-Anwendungen im technischen Bereich im Regelfall besonders wichtige Qualit�tsmerkmale. In vielen Anwendungsbereichen � z.B. Schienenfahrzeuge, Avionik, Automobiltechnik, Medizintechnik � kann ein Softwarefehlverhalten Menschenleben gef�hrden. Daher sind vor der Inbetriebsetzung derartiger Systeme z.B. Sicherheitsnachweise zu f�hren. Diese m�ssen naturgem�� vollst�ndig sein oder mindestens nachweisen, dass ein tolerierbares Restrisiko nicht �berschritten wird.

Es werden aktuelle Techniken zur Sicherheits- und Zuverl�ssigkeitsanalyse f�r Software und Systeme dargestellt. Neben der Identifikation und der Bewertung von Risiken wird die Akzeptanz von Risiken betrachtet.

Gliederung dieser Seite

Literatur zur Vorlesung
Auf dieser Seite finden Sie Literaturangaben zur Vorlesung.
Materialien zur Vorlesung
Auf dieser Seite finden Sie begleitend zus�tzliches Material zur Vorlesung (Vortragsfolien etc.) und zu den �bungen (�bungsaufgaben).
Informationen zur Klausur
Auf dieser Seite finden Sie Termine und Informationen zur Klausur

Neuigkeiten

SRES Nachklausureinsicht: 12.04.2012 10:00-11:00 in Raum 32-439
SRES post-resit-exam review: 12.04.2012 10am - 11am in room 32-439

Organisatorisches

Dozent

Prof. Dr. Peter Liggesmeyer
Raum 32/425
Telefon: (0631) 205-3328
Sprechstunde: nach Vereinbarung

Veranstaltungen

Die Veranstaltung SuZe besteht aus 2 SWS Vorlesung und 1 SWS �bung.

Vorlesung:
Umfang 2 SWS - Termin w�chentlich:
Mi, 13:45 - 15:15 Uhr, Raum 42-110
Die erste Vorlesung ist am 19. Oktober 2011.
�bungen:
Umfang 1 SWS - Termin alle zwei Wochen:
Do, 13:45 - 15:15 Uhr, Raum 42-110
Der �bungsbeginn wird in der ersten Vorlesung bekannt gegeben.