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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erscheinungsdatum :

    01.02.2024


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    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 | Europäisches Patentamt | 2024

    Freier Zugriff

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

    KOENIG LUKAS / HANSELMANN MICHAEL / MESSER MICHAEL | Europäisches Patentamt | 2024

    Freier Zugriff

    COMPUTING DEVICE AND COMPUTER-IMPLEMENTED AUTOMATED DRIVING METHOD

    DANIL PROKHOROV / UEHARA YASUO | Europäisches Patentamt | 2015

    Freier Zugriff

    Method for carrying out at least partially automated driving function

    NORDBRUCH STEFAN | Europäisches Patentamt | 2023

    Freier Zugriff

    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. | Europäisches Patentamt | 2024

    Freier Zugriff