Vorgeschlagen wird ein Computer-implementiertes Verfahren zur Verifikation eines Software-basierten Verhaltensplaners (15) einer automatisierten Fahrfunktion, mit den folgenden Schritten:Bereitstellen eines Verifikations-Umfeldmodells zur Beschränkung des Zustandsraums des Verhaltensplaners (15) entsprechend einer vorgebbaren Verkehrsszene,Bereitstellen einer formalen Anforderung als Kriterium für die Korrektheit von Entscheidungen des Verhaltensplaners (15),Erzeugen einer Model-Checker-Repräsentation des Verhaltensplaners (15) unter Berücksichtigung des bereitgestellten Verifikations-Umfeldmodells,Analysieren der Model-Checker-Repräsentation mit einem Model Checking Verfahren (10) im Hinblick auf die formale Anforderung.Erfindungsgemäß wird mit Hilfe des Verifikations-Umfeldmodells mindestens ein physikalisch sinnvolles Parameterintervall für mindestens einen Ortsparameter und/oder Bewegungsparameter der Teilnehmer der vorgegebenen Verkehrsszene bestimmt. Dann wird dieses mindestens eine Parameterintervall bei der Analyse der Model-Checker-Repräsentation des Verhaltensplaners (15) berücksichtigt, indem das Model Checking Verfahren (10) dieses Parameterintervall systematisch abtastet und so den Verhaltensplaner (15) für eine repräsentative Auswahl der möglichen zeitlichen und örtlichen Entwicklungen der vorgegebenen Verkehrsszene prüft.

    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-implementiertes Verfahren und System zur Verifikation eines Software-basierten Verhaltensplaners einer automatisierten Fahrfunktion


    Contributors:

    Publication date :

    2024-06-13


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    German


    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-implementiertes System und Verfahren zum Überwachen der Funktionsfähigkeit einer automatisierten Fahrfunktion

    KOENIG LUKAS / HANSELMANN MICHAEL / HEINZEMANN CHRISTIAN | European Patent Office | 2023

    Free access

    Computer-implementiertes Verfahren und System zum Bereitstellen einer automatisierten Fahrfunktion für ein Fahrzeug

    JANSSEN HOLGER / NIEM WOLFGANG / MUNDHENK PHILIPP et al. | European Patent Office | 2023

    Free access

    Verfahren zur Aktivierung einer automatisierten Fahrfunktion eines Fahrzeuges

    HUG TOBIAS | European Patent Office | 2019

    Free access

    VERFAHREN ZUM DEAKTIVIEREN EINER AUTOMATISIERTEN FAHRFUNKTION EINES FAHRZEUGES

    WIESINGER PETER | European Patent Office | 2022

    Free access

    Verfahren zum Deaktivieren einer automatisierten Fahrfunktion eines Fahrzeuges

    WIESINGER PETER | European Patent Office | 2020

    Free access