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.


    Access

    Download


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    2024-06-13


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    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 | European Patent Office | 2024

    Free access

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

    HEINZEMANN CHRISTIAN / KOENIG LUKAS | European Patent Office | 2024

    Free access

    COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR VALIDATING A BEHAVIOR PLANNER FOR AN AT LEAST PARTIALLY AUTOMATED VEHICLE

    RITTEL MICHAEL / HEINZEMANN CHRISTIAN / STEPANOVA DARIA et al. | European Patent Office | 2025

    Free access

    Lateral maneuver planner for automated driving system

    MASAHIRO HARADA / NAOKI NAGASAKA / NOBUHIDE KAMATA et al. | European Patent Office | 2015

    Free access

    Lateral maneuver planner for automated driving system

    NAGASAKA NAOKI / SAKAI KATSUHIRO / OKUMURA BUNYO et al. | European Patent Office | 2016

    Free access