Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme

Einführung in die Probleme der Zuverlässigkeit und Betriebssicherheit sowie in gängige Lösungsansätze:

• Design- und Analysemethoden zur Unterstützung der Zuverlässigkeit und Betriebssicherheit eingebetteter Systeme
• Zuverlässigkeits-/Sicherheits-Modellierung
• Zuverlässigkeits-/Sicherheits-Maße und -Analysen
• Softwarefehler, Softwareversagen
• Mechanismen der HW-/SW-Fehlertoleranz
• Risikoanalyse, Risiko-Akzeptanzkriterien
• Betriebssicherheits-Normen

Die Vorlesung wird auf Englisch gehalten. This lecture is presented in English.

• dienstags 15:45-17:15 Uhr (AH III) (Vorlesung/Übung)
• freitags 14:45-16:15 Uhr (AH III) (Vorlesung)

Die Vorlesung beginnt am 10.04.2012.

Ankündigungen und sämtliche Materialien zur Vorlesung (Folien, Videoaufzeichnungen, Übungen) sind im L2P Lernraum zu dieser Veranstaltung zu finden.

• Marc Förster, M.Sc.