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

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.