Forschungsthemen
[FPA] Analyse von Softwareprüfprozessen
Art der Arbeit: BA, FPA, GB, 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.
Das Modell, das eine Softwareprüfung beschreibt, teilt sich in ein Prozessmodell ("Activity") und mehrere Prozessschritt-Definitionen ("Flow"). Da trotz konzeptionellen Einfachheit der Prüfungen in den Flows komplexe Datenverarbeitungsschritte vorgenommen werden müssen, kann es zu Modellierungsproblemen kommen, die für den Vorgabenentwickler nicht leicht erkennbar sind.
Hier soll nun von der nicht programmierten, sonder *modellierten* Prüfungsspezifikation profitiert werden, die es ermöglicht, mit Hilfe von statischer Analyse Probleme zu erkennen und Verbesserungsvorschläge zu machen, beispielsweise nicht erreichbare Prozessschritte und faktisch konstante Werte.
In dieser Arbeit soll die Einsatzmöglichkeit von statischer Analyse untersucht werden.
Fokus der Arbeit:
- Untersuchung des State-of-the-Art für statische Analyse von Prozess- und Datenfluss-Sprachen
- Erheben von Nutzeranforderungen, aus denen sich benötigte Analysen ableiten lassen
- Entwicklung eines Konzepts und einer Architektur, mit deren Hilfe sich die Analysen auf das vorliegende System anwenden lassen
- Umsetzung der statischen Analyseverfahren
- Evaluation, die einerseits die korrekte Funktionalität der umgesetzten Analysen nachweist und andererseits deren Nutzen für den Anwendender.
Betreuer: Johannes Mey