Es wird ein Computer-implementiertes Verfahren zur Verifikation eines Softwarebasierten Verhaltensplaners (15) für eine automatisierte Parkfunktion vorgeschlagen, wobei das Verifikationsverfahren zumindest die folgenden Schritte umfasst:Bereitstellen mindestens einer formalen Anforderung (11) als Kriterium für die Korrektheit von Entscheidungen des Verhaltensplaners (15),Bereitstellen eines Situationsmodells (12, 13) zur Beschränkung des Zustandsraums des Verhaltensplaners (15) entsprechend einer vorgebbaren Situation,Erzeugen einer Model-Checker-Repräsentation des Verhaltensplaners (15) unter Berücksichtigung des bereitgestellten Situationsmodells (12, 13),Analysieren der Model-Checker-Repräsentation des Verhaltensplaners mit einem Model Checking Verfahren (10) im Hinblick auf die vorgegebenen formalen Anforderungen (11).Den besonderen Anforderungen an eine automatisierte Parkfunktion wird dadurch Rechnung getragen, dass die Verfügbarkeit eines Fahrers durch mindestens einen Modellparameter des Situationsmodells (12) beschrieben wird, so dass die Verfügbarkeit des Fahrers bei der Analyse der Model-Checker-Repräsentation des Verhaltensplaners (15) berücksichtigt wird.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    COMPUTER-IMPLEMENTIERTES VERFAHREN ZUR VERIFIKATION EINES SOFTWARE-BASIERTEN VERHALTENSPLANERS EINER AUTOMATISIERTEN PARKFUNKTION UND VERWENDUNG EINES SOLCHEN VERFAHRENS


    Weitere Titelangaben:

    COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE-BASED BEHAVIOR PLANNER OF AN AUTOMATED PARKING FUNCTION AND USE OF SUCH A METHOD
    PROCÉDÉ MIS EN OEUVRE PAR ORDINATEUR POUR VÉRIFIER UN PLANIFICATEUR COMPORTEMENTAL BASÉ SUR UN LOGICIEL D'UNE FONCTION DE STATIONNEMENT AUTOMATISÉE ET UTILISATION D'UN TEL PROCÉDÉ


    Beteiligte:
    HOLZWARTH PHILIP (Autor:in) / KOENIG LUKAS (Autor:in) / HANSELMANN MICHAEL (Autor:in)

    Erscheinungsdatum :

    25.06.2025


    Medientyp :

    Patent


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch


    Klassifikation :

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



    Computer-implementiertes Verfahren und System zur Verifikation eines Software-basierten Verhaltensplaners einer automatisierten Fahrfunktion

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

    Freier Zugriff