Durch die Anwendung der neu entwickelte Methode der 'individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden' wird das heutige manuelle Funktionsaudit automatisiert. Schwerpunkte der Methode sind die Extraktion und Transformation von Modellmerkmalen in das Funktionsmodell des Komfortsystem eines Fahrzeuges (FuKoFa), die Integration der funktionalen Struktur in das FuKoFa, die Testfolgengenerierung und die Funktionsaudits. Im ersten Methodenabschnitt werden 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 durchgeführt. Die besonderen Merkmale dieser Phase sind die Nutzung der relationalen Modelle in den Spezifikationen als Transformationsbasis und die automatische Integration der benötigten Prüftexte in das FuKoFa. Bei Integration der funktionalen Struktur in das FuKoFa vervollständigt der Systemingenieur manuell das transformierte initiale FuKoFa zum maximalen FuKoFa. Durch den individuellen Fahrzeugbauauftrag vom Produktionsrechner, der durch die Integration der Varianten in das FuKoFa ermöglicht wird, kann das maximale FuKoFa automatisch fahrzeugspezifisch konfiguriert werden. Die zur Fahrzeugprüfung erforderlichen Testfolgen werden automatisch aus dem FuKoFa berechnet und in der Testfolgen-Queue abgespeichert. Ziel der Berechnung der Testfolgen ist es, eine gezielte Anordnung der Transitionen und deren Akteurereignisse für alle Sensor-Zustandsautomaten zu erhalten. Das reale Fahrzeug wird schließlich 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 Schluss wird das Prüfprotokoll ausgedruckt.
Durchgängiger Entstehungsprozess einer individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden
2007
203 Seiten, Bilder, Tabellen, Quellen
Hochschulschrift
Deutsch
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2007
|Konzept einer individuellen Fahrzeugprüfung mit formalisierten Modellen und Methoden
Tema Archiv | 2007
|Durchgängiger Entwicklungsprozeß für Steuergeräte
Tema Archiv | 1997
|