In Fahrzeugen wird eine Vielzahl von Funktionen durch Zustandsautomaten realisiert wie z.B. Fahrerassistenzsysteme. Zur Verifikation bei der Erprobung von Funktionen in Teilsystemen und im Gesamtsystem Fahrzeug wird eine Methodik vorgestellt, die auf unterschiedlichen Modellen zur Darstellung von Zustandsautomaten anwendbar ist wie UML, MATLAB/Stateflow, ASCET-SD. Softwarevarianten bilden sich auch in den Zustandsmodellen ab. Durch die Verwendung von ASMA/ODX als Datenformat können für die dynamische Zustandsautomaten-Verifikation die vorhandenen Prozessstrukturen genutzt werden. Außerdem kann mit der Anbindung an ASMA/ODX an den Versionisierungsprozess im Unternehmen angeschlossen werden. Bei dem vorgestellten Ansatz wird die Testabdeckung am realen Fahrzeug verifiziert. Es wird davon ausgegangen, dass die Zustandsautomatenmodelle korrekt sind, d.h. dass sie auf Modellebene verifiziert wurden. Es werden die Daten aus dem vorherigen und aktuellen Zustand benötigt, die aus allen Modellen automatisch extrahiert werden und bei allen Modellen identisch sind. Die dynamische Zustandsdaten-Verifikation verarbeitet die relevanten Daten und stellt sie in Form einer Tabelle dar.
Dynamische Zustandsautomaten Verifikation
Dynamic statechart verification
2005
13 Seiten, 10 Bilder, 1 Tabelle, 16 Quellen
Aufsatz (Konferenz)
Deutsch
Dynamische Zusatandsautomaten Verifikation
Kraftfahrwesen | 2005
|ASIC-Verifikation: Schnellere Verifikation bei mehr Debug-Transparenz
British Library Online Contents | 2007
Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen
Kraftfahrwesen | 2002
|