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.