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.


    Access

    Download


    Export, share and cite



    Title :

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


    Additional title:

    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É


    Contributors:

    Publication date :

    2025-06-25


    Type of media :

    Patent


    Type of material :

    Electronic Resource


    Language :

    German


    Classification :

    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 | European Patent Office | 2024

    Free access