// this code is not protected from variable substitution of the generator!!!
$level = 1;
$param = <<Lehrstuhl Software Engineering: Dependability: SEDA
Etablierte und neuartige Modellierungstechniken werden verwendet um das Verhalten komplexer eingebetteter Systeme in sicherheitskritischen Umgebungen zu beschreiben.
Mit Hilfe spezialisierter Werkzeuge werden diese Modelle quantitativ analysiert und bewertet.
Visualisierungstechniken stellen eine leicht verständliche Darstellung zur Verfügung, in der potentielle Ausfälle und deren Ursachen identifiziert werden können. Dies dient der Verminderung des Gesamtrisikos.
Forschungsschwerpunkte
Systems Engineering für Cyber-physische Systeme
Sicherheit (Safety & Security), Zuverlässigkeit und Verfügbarkeit