A computer-implemented method for verifying a software component of an automated driving function, The method includes: translating the native program code into a model checker representation of the software component to be verified and analyzing the model checker representation of the software component to be verified using a model checking method. The native program code of the software component to be verified is analyzed to identify independent sequences of commands, wherein an independent sequence of commands is a cohesive succession of program commands by which at least two variables are set, and the at least one result of an independent sequence of commands is independent of the order in which its program commands are processed. The variables of the at least one independent sequence of commands of the native program code are then simultaneously set in the model checker representation of the software component to be verified.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION


    Beteiligte:
    MESSER MICHAEL (Autor:in) / KOENIG LUKAS (Autor:in) / HANSELMANN MICHAEL (Autor:in)

    Erscheinungsdatum :

    01.02.2024


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung / B60W CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION , Gemeinsame Steuerung oder Regelung von Fahrzeug-Unteraggregaten verschiedenen Typs oder verschiedener Funktion



    COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

    HEINZEMANN CHRISTIAN / KOENIG LUKAS | Europäisches Patentamt | 2024

    Freier Zugriff

    COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED DRIVING FUNCTION

    KOENIG LUKAS / HANSELMANN MICHAEL / MESSER MICHAEL | Europäisches Patentamt | 2024

    Freier Zugriff

    COMPUTING DEVICE AND COMPUTER-IMPLEMENTED AUTOMATED DRIVING METHOD

    DANIL PROKHOROV / UEHARA YASUO | Europäisches Patentamt | 2015

    Freier Zugriff

    Device and Method for verifying function of Automatic Driving

    KIM YUN JEONG / MIN KYOUNG WON / LEE SEON YOUNG et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Computer-implemented system and method for monitoring functional capabilities of automatic driving function

    HEINZEMANN CHRISTIAN / KOENIG LOTHAR / HANSELMANN MARKUS | Europäisches Patentamt | 2023

    Freier Zugriff