Eingebettete Systeme werden häufig in sicherheitskritischen Anwendungen eingesetzt, in denen ein Fehler zu enorm hohen Kosten oder sogar zur Gefährdung von Menschenleben führen kann, z.B. in Autos, Flugzeugen oder der Medizintechnik. Im Rahmen dieser Lehrveranstaltung werden Methoden und Techniken für den Entwurf und die Analyse sicherer eingebetteter Systeme vermittelt. Die Schwerpunkte liegen auf einem oder mehreren der folgenden Teilgebiete:

• Modellierung und Spezifikation von Sicherheit (im Sinne von Safety und Security)
• Fehlertoleranz, Fehlerinjektion, Fehlervermeidung und Testen
• Analyseverfahren zur Prüfung der Sicherheit in eingebetteten Systemen
• induktive und kompositionale Ansätze zur Verifikation von Sicherheitseigenschaften
• Software-basierte Angriffe und Gegenmaßnahmen
• Angriffsmodelle und Schutzmechanismen in Cyber-Physical Systems
• Sicherheit im „Internet der Dinge”

Kurs im HIS-LSF