Durchgängiger Entstehungsprozess einer individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden

In dieser Arbeit wird die neue Methode der „individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden“ vorgestellt. Durch die Anwendung dieser Methode wird das heutige manuelle Funktionsaudit automatisiert. Die Methode ist in vier Methodenabschnitte mit den folgenden Schwerpunkten unterteilt: • Extraktion und Transformation von Modellmerkmalen in das FuKoFa (Abschnitt 3): Im ersten Methodenabschnitt wurden alle relevanten Spezifikationen, die das reale Fahrzeug beschreiben, vom Systemingenieur extrahiert und anschließend in das FuKoFa transformiert. Das Ergebnis ist ein initiales FuKoFa des Fahrzeuges, das manuell durch den Systemingenieur vervollständigt werden muss. Die Erstellung des FuKoFa wird einmal je Fahrzeugtyp (z.B. Golf V) durchgeführt. Die besonderen Merkmale dieser Phase waren die Nutzung der relationalen Modelle in den Spezifikationen als Transformationsbasis und die automatische Integration der benötigten Prüftexte in das FuKoFa. • Integration der funktionalen Struktur in das FuKoFa (Abschnitt 4): In dieser Phase vervollständigt der Systemingenieur manuell das transformierte initiale FuKoFa zum maximalen FuKoFa. Ein wesentlicher neuer Bestandteil ist die Integration der Varianten in das FuKoFa. So ist es möglich, durch den individuellen Fahrzeugbauauftrag vom Produktionsrechner das maximale FuKoFa automatisch fahrzeugspezifisch zu konfigurieren. • Testfolgengenerierung (Abschnitt 5): Die zur Fahrzeugprüfung erforderlichen Testfolgen qT werden automatisch aus dem FuKoFa berechnet und in der Testfolgen-Queue QT abgespeichert. Ziel der Berechnung der Testfolgen qT ist es, eine gezielte Anordnung der Transitionen und deren Akteurereignisse für alle Sensor-Zustandsautomaten zu erhalten. • Funktionsaudits (Abschnitt 6): Das reale Fahrzeug wird als „Hardware-in-the-loop“ über eine Schnittstelle zum Analyseprogramm in das Funktionsaudit eingebunden. Vor dem Start des Funktionstestes werden das FuKoFa und die Testfolgen durch den Produktionsrechner individuell konfiguriert. Danach bekommt der Testingenieur vom Analyseprogramm angezeigt, welche fahrzeugspezifischen Testfälle er durchführen muss und welche Ergebnisse vom Fahrzeug zu liefern sind. Zum Abschluss des automatisierten Funktionsaudits wird das Prüfprotokoll ausgedruckt. Einige Implementierungsdetails der Methode sind im Abschnitt 7 dargestellt. Im Mittelpunkt der Implementierung steht eine Datenbank. Um diese Datenbank herum sind verschiedene Softwarewerkzeuge für die Umsetzung der erarbeiteten Methodenabschnitte angeordnet. Damit der Datenaustausch zwischen den einzelnen Werkzeugen erfolgen kann, wurden zahlreiche Schnittstellen entworfen und implementiert. Die Validierung der Methode erfolgte anhand verschiedener Anwendungsbeispiele, von denen eines (Lichtsteuerung des Fahrzeuges) im Anhang A1 beispielhaft dargestellt ist.