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.
COMPUTER-IMPLEMENTIERTES VERFAHREN ZUR VERIFIKATION EINES SOFTWARE-BASIERTEN VERHALTENSPLANERS EINER AUTOMATISIERTEN PARKFUNKTION UND VERWENDUNG EINES SOLCHEN VERFAHRENS
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É
2025-06-25
Patent
Electronic Resource
German
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 |
European Patent Office | 2024
|European Patent Office | 2024
|European Patent Office | 2023
|European Patent Office | 2022
|