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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Dynamische Zustandsautomaten Verifikation


    Weitere Titelangaben:

    Dynamic statechart verification


    Beteiligte:
    Braitschink, P. (Autor:in) / Reuss, H.C. (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    13 Seiten, 10 Bilder, 1 Tabelle, 16 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    Dynamische Zusatandsautomaten Verifikation

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




    Formale Verifikation - eine leistungsfaehige Methodik zur Verifikation von embedded systemen

    Sperling,T. / Esterel Technologies,Ottobrunn,DE | Kraftfahrwesen | 2002


    VERIFIKATION VON SENSORDATEN

    SALARI KHANIKI MEHRDAD / MAIR ULRICH | Europäisches Patentamt | 2019

    Freier Zugriff