Design und Analyse von selbst-suspendierenden eingebetteten Echtzeitsystemen

• Antragsteller: Professor Dr. Jian-Jia Chen
• Fachliche Zuordnung: Rechnerarchitektur, eingebettete und massiv parallele Systeme
• Förderung: Förderung von 2018 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 398602212

In Computersystemen kann es dazu kommen, dass eine Taskinstanz sich selbst von der Ausführung (auf dem zugeordneten Prozessor) suspendiert, z.B. auf Grund von Interaktion mit externen I/O Geräten, in Multiprocessorsystemen mit geteilten Ressourcen, in suspendierungsbewussten Multiprocessorsystemen mit Synchronisierungsprotokollen, etc. In eingebetteten Echtzeitsystemen kann Selbstsuspendierung negative Auswirkungen auf die Schedulebarkeit von Echtzeittasks haben und führt normalerweise zu einer wesentlichen Verschlechterung der Performance / Schedulebarkeit. Auch wenn in der Vergangenheit einige scheinbar positive Resultate im Bezug auf die Lösungen der von Task Systemen mit Selbstsuspendierung ausgehenden Probleme publiziert wurden, hat eine aktuelle Untersuchung unter der Leitung des Antragstellers Prof. Dr. Jian-Jia Chen gezeigt, dass ein signifikanter Anteil der vor 2013 entstandenen Literatur zu diesem Thema (und damit auch die Mehrzahl der bekannten Ergebnisse) schwerwiegende Fehler enthielt. Da die meisten Ergebnisse vor 2013 fehlerhaft waren oder nur unvollständige Beweise enthielten, wurde die Untersuchung von selbst-suspendierenden Task-Modellen in eingebetteten Echtzeitsystemen im Jahr 2015 de facto neu gestartet. Innerhalb dieses Projekts soll nach robusten und soliden fundamentalen Algorithmen und Analysemethoden gesucht werden, um den Einfluss von Selbstsuspendierungsverhalten in modernen eingebetteten Systemen sorgfältig abzumildern (durch sichere und fehlerfreie Erzwingung von Ausführungs/Suspendierungs-Mustern) und zuanalysieren (mit Hilfe genauer Schedulability-Tests). Dies soll insbesondere im Bezug auf sicherheitskritische Systeme mit Echtzeitanforderungen geschehen. Da Slbstsuspendierungsverhalten zu einem hohen Maß an Komplexität führen kann, sind neue Scheduling Strategien oder die Überarbeitung von existierenden Scheduling Strategien notwendig. Ziel unseres Projektes ist es, fundamentale Durchbrüche in der Scheduling Theorie und bei den entsprechenden Schedulability Analyse zu erzielen. Diese sollen an das Selbstsuspendierungsverhalten flexibel angepasst werden ohne das Worst-Case Zeitverhalten mit zu viel Pessimismus zu untersuchen. Mit Hilfe der Scheduling Strategien und der Schedulalibility-Tests die in diesem Projekt geliefert werden, wollen wir Werkzeuge für Designer von Echtzeitsystemen zur Verfügung stellen, damit weitere Optimierungen möglich sind, bei denen die Perpektive der Controller, der Kommunikation und der Berechnung beachtet werden.

• DFG-Verfahren: Sachbeihilfen