A computer-implemented method for verifying at least one software component of an automated driving function. The method includes the following steps: providing an environment model that limits the state space of the software component to be verified by way of predefinable boundary conditions, wherein the environment model is provided in the form of a native environment model program code; translating the native program code of the software component to be verified and the environment model program code, wherein a model checker representation limited by the boundary conditions of the environment model and intended for the software component to be verified is generated; and verifying the model checker representation using a model checking method.
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION
2024-02-01
Patent
Electronic Resource
English
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION
European Patent Office | 2024
|European Patent Office | 2024
|COMPUTING DEVICE AND COMPUTER-IMPLEMENTED AUTOMATED DRIVING METHOD
European Patent Office | 2015
|Method for carrying out at least partially automated driving function
European Patent Office | 2023
|European Patent Office | 2024
|