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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Dynamische Zustandsautomaten Verifikation


    Additional title:

    Dynamic statechart verification


    Contributors:


    Publication date :

    2005


    Size :

    13 Seiten, 10 Bilder, 1 Tabelle, 16 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Zustandsautomaten

    Wietzke, Joachim / Tran, Manh Tien | Springer Verlag | 2005


    Dynamische Zusatandsautomaten Verifikation

    Braitschink,P. / Reuss,H.C. / Volkswagen,Wolfsburg,DE et al. | Automotive engineering | 2005




    VERIFIKATION VON SENSORDATEN

    SALARI KHANIKI MEHRDAD / MAIR ULRICH | European Patent Office | 2019

    Free access