Software und Systems Engineering untersucht Prozesse, Methoden, Techniken und Werkzeuge zur Entwicklung von qualitativ hochwertigen Softwaresystemen, über den gesamten Entwicklungszyklus von der Erhebung von Anforderungen bis hin zu Softwareeinsatz und -wartung.

Das Ziel der Formalen Methoden im Software Engineering ist es, Techniken zur Entwicklung von Software mit höchsten Zuverlässigkeits- und Sicherheitsanforderungen bereitzustellen. Dafür sind zwei Schritte notwendig: Eine eindeutige Spezifikation der Systemanforderungen und ein mathematischer Beweis (Verifikation) dass die Implementierung die Spezifikation erfüllt.

Das Institut führt Spitzenforschung im Bereich der softwaregetriebenen Robotik und Automation durch. Der Fokus liegt darauf, Methoden und Werkzeuge des Software Engineering auf die Mechatronik anzuwenden, zum Beispiel durch moderne Programmierplattformen für Industrieroboter.

Künstlichen Intelligenz handelt von Softwaresystemen, die eine Form "intelligenten Verhaltens" zeigen - von der Wahrnehmung der Systemumgebung bis hin zum autonomen Treffen rationaler Entscheidungen ohne menschliche Intervention.

Die Komplexität von zukünftigen Softwaresystemen in dynamischen Umgebungen stellt den traditionellen Systementwurf vor Herausforderungen. Unser Fokus liegt im systematischen Entwurf zuverlässiger autonomer Systeme mit anschaulicher Modellierung, Test und formaler Verifikation, um die Korrektheit trotz Autonomie zu gewährleisten.

Sicherheit und Betriebssicherheit sind zwei essentielle Aspekte von Systemen und Software. Sicherheitskritische Systeme können schwere Schäden für Wirtschaft oder Umwelt, Verletzungen oder sogar den Verlust von Leben verursachen. Weiterhin spielt Sicherheit und Privatsphäre durch die immer größere Anzahl verbundener Geräte eine wachsende Rolle in unserem Leben.