Forschung, Entwicklung zur Automatisierung von Fehlerbaum- und Ausfalleffektanalysen, Model-based Reliability and Safety Engineering; Model-based Safety and Reliability Engineering; Systems-of-systems; rekonfigurierebare Systeme; AI in embedded Anwendungen

Seminare, Unterstützung und Beratung bezüglich Sicherheit und Zuverlässigkeit von technischen Systemen und Anlagen insbesondere im Bahn-, Automatisierungs- und Automobilbereich.

• Sicherheit von AI-basierten Systemen

• Model-based Safety and Reliability Engineering

• Sicherheit und Zuverlässigkeit hochautomatisierter Systeme

• Software in sicherheitsrelevanten Systemen

• Entwurfsprinzipien sicherer und zuverlässiger Steuerungssysteme

• Gefahren- und Risikoanalysen

• Ausfallsicherheit

• Korrektheit

• Formale Methoden zur Spezifikation und Verifikation von Systemen (u.a. Model Checking, Z)

• Fehlerbaumanalyse

• Test eingebetteter Software

• FME(C)A, FMEDA

• Markov-Analysen