Mein Forschungsschwerpunkt liegt auf der Automatisierung von Sicherheitsanalysen mit Fokus auf der weit verbreiteten Fehlerbaumanalyse (FTA). Um diese zu beschleunigen und u.a. Rapid Prototyping beim Entwurf sicherheitskritischer Systeme zu ermöglichen, soll ein Konzept für die automatisierte Komposition von Modellen auf Komponentenebene entstehen. Der ausgearbeitete Ansatz baut auf früheren Arbeiten des Lehrstuhls auf, insbesondere auf Komponentenfehlerbäumen (CFTs).

CFT Modelle werden für eine automatisierte Komposition mit einem Typsystem annotiert. Die Typ-Annotationen erweitern dabei die textuellen Beschreibungen in den Modellen durch semantische Informationen, die maschinell verarbeitet werden können. Dadurch soll der manuelle Prozess des Verbindens von Schnittstellenelementen in den Modellen teilweise automatisiert und der Analyseprozess beschleunigt werden.