[*] Abbilden von zyklischen Abfragen in Softwareprüfprozessen

Art der Arbeit: FPA, oder ähnliches
Die FSD Fahrzeugsystemdaten GmbH stellt Prüfvorgaben für die Hauptuntersuchung (HU) bereit. Hierfür wird das Vorgabeninformationssystem VIS verwendet, was während der HU am Fahrzeug ermittelte Werte mit diesen Vorgaben vergleicht.
Neben komplexeren Prüfungen (Bremssystem, Licht, etc.) gibt es in modernen Fahrzeugen auch einige Prüfungen, die sich ausschließlich auf Werte und Versionsnummern der im Fahrzeug eingesetzten Software beziehen, zum Beispiel die Prüfung, ob fehlerhafte kritische Softwarekomponenten aktualisiert worden sind.
Diese Prüfungen werden aufgrund ihrer einfachen Struktur nicht programmiert, sondern als Prozessmodell beschrieben, was im Rahmen der HU im VIS ausgeführt wird.
Für die Weiterentwicklung der dafür zuständigen Software, die im Kern aus einem Editor zum Erstellen der jeweiligen Prüfung und einer Execution Engine zu ihrer Ausführung besteht, werden nun folgende Arbeiten angeboten.
Aktuell ist das der Softwareprüfung zugrundeliegende Metamodell zum großen Teil ausschließlich für Prüfungen geeignet, deren Informationen während der gesamten Ausführungszeit vorliegen und die sich während dieser Zeit auch nicht ändern. Dies schließt somit Prüfungen aus, die dynamische Daten verwenden, die (ggf mehrfach) während der Ausführung erhoben werden können. Insbesondere eine Aggregation solcher Werte ist im aktuellen System nicht möglich.
Um solche Prüfungen zu unterstützen, muss sowohl das zugrunde liegende Datenmodell als auch die Ausführungslogik angepasst werden. Hierfür sollte zunächst eine Analyse des aktuellen Systems vorgenommen werden, die dieses konzeptionell in die Technikräume von funktionalen und Datenflusssprachen einsortiert. Zudem müssen die oben beschriebenen Anforderungen präzisiert werden, um später als Evaluationskriterium nutzbar zu sein. Anschließend muss analysiert werden, welche dieser Sprachparadigmen sich eignen, die oben beschriebenen Szenarien umzusetzen. Diese Umsetzung wird dann vorgenommen und anhand der ermittelten Anforderungen evaluiert.
Die Form der Arbeiten ist bewusst noch nicht festgelegt. Je nach Art der Arbeit kann der Umfang erweitert oder eingeschränkt werden.

Betreuer: Oliver Geisel