TU BRAUNSCHWEIG

Willkommen am Institut für Programmierung und Reaktive Systeme

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.


Offene Stellen

Wir suchen für das Forschungsprojekt IMoTEP eine/-n HiWi.


  aktualisiert am 03.06.2014
TU_Icon_E_Mail_1_17x17_RGB Zum Seitenanfang