Zeitanalyse, Scheduling und Verteilung von Echtzeittasks (R02)

• Fachliche Zuordnung: Softwaretechnik und Programmiersprachen
• Förderung: Förderung von 2004 bis 2015
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5485999

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