Die Studierenden werden im Rahmen der Veranstaltung die Anforderungen an sicherheitskritische Systeme verstehen und erhalten einen Überblick über die vorhandenen Techniken zur Analyse und Vermeidung von Sicherheitsrisiken. Sie lernen die Besonderheiten beim Management sicherheitsrelevanter Softwareprojekte, den Nutzen von Sicherheitsaufwendungen und die einschlägigen Normen und Verordnungen kennen. Schließlich setzen sie sich intensiv mit Sprachkonstrukten für die Programmierung sicherheitskritischer Systeme, mit spezifischen HW/SW-Architekturen, sowie mit der Analyse der maximalen Programmlaufzeit (WCET) auseinander:
