Zeitanalyse, Scheduling und Verteilung von Echtzeittasks (R02)

Im Teilprojekt soll die Implementierung von Systemen mit harten Echtzeitanforderungen, welche alsTasknetze strukturiert sind, betrachtet werden. Die Zielarchitekturen sind heterogen und verteilt. Teilder Implementierungsaufgabe ist der Nachweis der Echtzeiteigenschaften des resultierenden Systems.Das Projekt wird auf zwei Ebenen arbeiten, der Problem-Ebene, auf welcher ein zu entwickelndesWerkzeug ein gegebenes Tasknetz analysiert, plant und verteilt, und einer Meta-Ebene, auf welcherein solches Werkzeug realisiert wird.

DFG-Verfahren Transregios

Teilprojekt zu TRR 14:  AVACS - Automatische Verifikation und Analyse komplexer Systeme

Antragstellende Institution Carl von Ossietzky Universität Oldenburg

Mitantragstellende Institution Max-Planck-Institut für Informatik; Universität des Saarlandes

Teilprojektleiter Professor Dr. Ernst Althaus; Professor Dr. Werner Damm; Professor Dr. Sebastian Hack; Professor Dr.-Ing. Jan Reineke; Professor Dr. Reinhard Wilhelm