Das Arbeitsgebiet des Instituts für Programmierung und Reaktive Systeme sind Methoden für die Spezifikation, den Entwurf, die Implementierung und die Validierung von Softwaresystemen, insbesondere für eingebettete Systeme. Die im allgemeinen große Komplexität dieser Systeme durch das Zusammenwirken der Komponenten und ihrer Umgebung sowie oft hohe Anforderungen an ihre Zuverlässigkeit und das Zeitverhalten erfordern geeignete Entwurfs- und Verifikationsmethoden. Im Gegensatz zu transformationellen Softwaresystemen ist insbesondere die Modellierung des dynamischen Verhaltens und der Interaktionen während des Ablaufs erforderlich.

Der gesamte Bereich des Softwareentwurfs für eingebettete Systeme von der eigenschaftsorientierten Beschreibung des gewünschten Verhaltens über die modellbasierte Entwicklung und den Architekturentwurf bis zur Implementierungsebene und die Validierung wird durch exemplarische Forschungsarbeiten abgedeckt. Dabei werden sowohl Grundlagenarbeiten als auch Anwendungsprojekte (zum Beispiel im Bereich Automotive) durchgeführt.