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
01.02.2024
Patent
Elektronische Ressource
Englisch
COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION
Europäisches Patentamt | 2024
|Europäisches Patentamt | 2024
|COMPUTING DEVICE AND COMPUTER-IMPLEMENTED AUTOMATED DRIVING METHOD
Europäisches Patentamt | 2015
|Method for carrying out at least partially automated driving function
Europäisches Patentamt | 2023
|Europäisches Patentamt | 2024
|