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

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 22. Oktober 2008.
• Übungen:
  Umfang 1 SWS - Termin alle zwei Wochen:
  Do, 13:45 - 15:15 Uhr, Raum 13-305
  Der Übungsbeginn wird in der ersten Vorlesung bekannt gegeben.

Vorlesungsbetreuung

Zhensheng Guo
Raum: 32/427
Telefon: (0631) 205-3957
Sprechstunde: nach Vereinbarung

Einträge im KIS-System

• Vorlesung
• Übung