Fachgebiet
Sichere Softwaresysteme
Prof. Dr.-Ing. Steffen Helke
Schwerpunkte
Verifikationsverfahren für die modellbasierte Softwareentwicklung
Verfahren zur Modellanalyse auf Basis von Model Checking und Theorembeweisen
Skalierbarkeit der Verfahren, verbesserte Transparenz, intelligentes Feedback
Modellierung und Verifikation nebenläufiger Systeme
Untersuchung von Designpattern in nebenläufigen actor-basierten Umgebungen
Spezifikationssprachen zur Beschreibung nebenläufiger Systeme
Software Engineering für eingebettete Systeme (Safety & Security)
Sicherheitsprüfung neuartiger Architekturen, z.B. Virtualisierungskonzepte bei sicherheitskritischen Systemen
Umgang mit Information-Flow-Control-Sprachen
Betrachtung konstruktiver Verfahren und Standards, wie ISO26262 und Common Criteria
Hinweis zu Cookies
Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.