Computer-implemented method and system for verifying a software-based behavior planner of an automated driving function

A computer-implemented system for verifying a software-based behavior planner of an automated driving function, comprising:

• a. an environment modeling module configured to provide a verification environment model which describes a temporal and spatial development of a specifiable traffic scene based on location and movement parameters of participants of the traffic scene;
• b. a requirements module configured to specify a formal requirement as a criterion for correctness of decisions of the behavior planner in the traffic scene;
• c. a translation module configured to generate a model checker representation of the behavior planner taking into account the provided verification environment model;
• d. a model checker module configured to analyze the model checker representation using a model checking procedure with respect to the given formal requirement;
• wherein the environment modeling module is configured to determine at least one physically meaningful parameter interval for at least one location parameter and/or movement parameter of participants of the traffic scene based on the verification environment model, and the model checker module is configured to take the at least one parameter interval into account in the analysis of the model checker representation of the behavior planner in that the model checking procedure systematically samples the parameter interval and thus checks the behavior planner for a representative selection of possible temporal and spatial developments of the traffic scene.