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.
Computer-implementiertes Verfahren und System zur Verifikation eines Software-basierten Verhaltensplaners einer automatisierten Fahrfunktion
2024-06-13
Patent
Electronic Resource
German
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 |
European Patent Office | 2023
|European Patent Office | 2023
|Verfahren zur Aktivierung einer automatisierten Fahrfunktion eines Fahrzeuges
European Patent Office | 2019
|VERFAHREN ZUM DEAKTIVIEREN EINER AUTOMATISIERTEN FAHRFUNKTION EINES FAHRZEUGES
European Patent Office | 2022
|Verfahren zum Deaktivieren einer automatisierten Fahrfunktion eines Fahrzeuges
European Patent Office | 2020
|