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.

Die Lehrveranstaltung gliedert sich in einen Grundlagenteil und einen Praxisteil. Im Grundlagenteil werden aktuelle Techniken zur Sicherheits- und Zuverlässigkeitsanalyse dargestellt (Symbolic Model Checking und Stochastische Zuverlässigkeitsanalyse). Im Praxisteil werden Vertreter von Industriefirmen, die sicherheitskritische softwareintensive Systeme entwickeln, über die Situation in der Praxis berichten.

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).

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:
  Mo, 13:45 - 15:15 Uhr, Raum 13-305
  Die erste Vorlesung ist am 23. Oktober 2006.
• Ü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

Nikolas Mayer

Einträge im KIS-System

• Vorlesung
• Übung