Atomic Basic Blocks - Abhängigkeiten in Echtzeitsystemen explizit und implizit herstellen Ein Echtzeitrechensystem muss in der Regel eine Menge von Ereignissen termingerecht bearbeiten. Je nach Anwendungsfall kann die Behandlung dieser Ereignisse isoliert erfolgen, oder es ist notwendig, dass mehrere Ereignisbehandlungen gemeinschaftlich diese Aufgabe erfüllen. Sobald eine Behandlung gemeinschaftlich erfolgt, ist es aber zwingend notwendig, die einzelnen, zunächst unkorreliert ablaufenden Aktivitäten zu koordinieren, weil z.B. Ein-/Ausgabebeziehungen eingehalten werden müssen. Es müssen also Abhängigkeiten hergestellt werden. Die Art und Weise diese Abhängigkeiten herzustellen unterscheiden sich nun grundlegend in zeit- und ereignisgesteuerten Echtzeitsystemen. Während bei ersteren der Fokus darauf liegt, einen geeigneten Ablaufplan zu erstellen, der solche Abhängigkeiten implizit einhält, ist dies in ereignisgesteuerten Systemen häufig nicht möglich. Man kann nicht fest davon ausgehen, dass Ereignisse zu bestimmten Zeitpunkten eintreten und muss deshalb explizite Vorkehrungen treffen, um z.B. gegenseitigen Ausschluss sicher zu stellen. Diese grundverschiedenen Ansätze führen leider auch zu grundlegend verschiedenen Ausführungssemantiken (run-to-completion in zeitgesteuerten Systemen vs. potentiell blockierende Synchronisation in ereignisgesteuerten Systemen), was eine Portierung von Anwendungen sehr aufwendig gestaltet. Dieses Forschungsprojekt befasst sich daher mit der Extraktion von Abhängigkeiten aus existierenden Anwendungen und ihrer Transformation zwischen impliziten und expliziten Formen.

Projektleitung: Dr.-Ing. Fabian Scheler, Prof. i. R. Dr.-Ing. habil. Wolfgang Schröder-Preikschat Stichwörter: Echtzeitsysteme, ereignisgesteuerte Systeme, zeitgesteuerte Systeme Beginn: 1.1.2007 Kontakt: Scheler, Fabian E-Mail: fabian.scheler@cs.fau.de