A computer-implemented method for verifying a software-based behavior planner of an automated driving function. The method includes: providing a verification environment model to limit the state space of the behavior planner according to a specifiable traffic scene; providing a formal requirement as a criterion for the correctness of decisions of the behavior planner; generating a model checker representation of the behavior planner taking into account the provided verification environment model; analyzing the model checker representation using a model checking procedure with respect to the formal requirement. The verification environment model is used to determine a physically meaningful parameter interval for at least one location parameter and/or movement parameter of the participants of the given traffic scene. The model checking procedure systematically samples the parameter interval and thus checks the behavior planner for a representative selection of the possible temporal and spatial developments of the given traffic scene.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


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

    Erscheinungsdatum :

    2024-06-13


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    IPC:    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 A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

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

    Freier Zugriff

    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

    LATERAL MANEUVER PLANNER FOR AUTOMATED DRIVING SYSTEM

    NAGASAKA NAOKI / SAKAI KATSUHIRO / OKUMURA BUNYO et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Lateral maneuver planner for automated driving system

    MASAHIRO HARADA / NAOKI NAGASAKA / NOBUHIDE KAMATA et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Lateral maneuver planner for automated driving system

    NAGASAKA NAOKI / SAKAI KATSUHIRO / OKUMURA BUNYO et al. | Europäisches Patentamt | 2016

    Freier Zugriff