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.


    Access

    Download


    Export, share and cite



    Title :

    COMPUTER-IMPLEMENTED METHOD FOR VERIFYING AT LEAST ONE SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION


    Contributors:

    Publication date :

    2024-02-01


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    IPC:    G06F ELECTRIC DIGITAL DATA PROCESSING , Elektrische digitale Datenverarbeitung / 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



    COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION

    MESSER MICHAEL / KOENIG LUKAS / HANSELMANN MICHAEL | European Patent Office | 2024

    Free access

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

    KOENIG LUKAS / HANSELMANN MICHAEL / MESSER MICHAEL | European Patent Office | 2024

    Free access

    COMPUTING DEVICE AND COMPUTER-IMPLEMENTED AUTOMATED DRIVING METHOD

    DANIL PROKHOROV / UEHARA YASUO | European Patent Office | 2015

    Free access

    Method for carrying out at least partially automated driving function

    NORDBRUCH STEFAN | European Patent Office | 2023

    Free access

    Computer-implemented method and system for at least partially automated behavioral planning of own vehicle

    MILLER JEFFREY C / FITTENHOV ANDREY VLADIMIROVICH / HEINZEMANN CHRISTIAN et al. | European Patent Office | 2024

    Free access