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

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

A computer-implemented method for verifying at least one software component of an automated driving function. The software component to be verified includes at least one function which uses sensor information from at least one sensor. The method includes: a. providing a model for the software compon...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hanselmann, Michael, Heinzemann, Christian, Koenig, Lukas
Format: Patent
Sprache:eng
Schlagworte:
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator Hanselmann, Michael
Heinzemann, Christian
Koenig, Lukas
description A computer-implemented method for verifying at least one software component of an automated driving function. The software component to be verified includes at least one function which uses sensor information from at least one sensor. The method includes: a. providing a model for the software component to be verified, b. providing at least one sensor performance model for the at least one sensor, c. generating an overall model, in the process of which the at least one sensor performance model is combined with the model of the software component to be verified, d. analyzing the overall model using a model checking method.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2023315610A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2023315610A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2023315610A13</originalsourceid><addsrcrecordid>eNqNy70KwjAUQOEuDqK-wwXnQn_QPSQ3NmByS3pTcQpF4iRaqO-PBnwAp7N8Z11ESbYPjL40tj-jRceowCJ3pECThxG90VfjTiBgIM0X4RHyRO5rgTQIByIwWZFP5c2YsQ5OsiG3LVb36bGk3a-bYq-RZVem-RXTMk-39EzvGIamatq2PhzrStTtf-oDSZo0Uw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION</title><source>esp@cenet</source><creator>Hanselmann, Michael ; Heinzemann, Christian ; Koenig, Lukas</creator><creatorcontrib>Hanselmann, Michael ; Heinzemann, Christian ; Koenig, Lukas</creatorcontrib><description>A computer-implemented method for verifying at least one software component of an automated driving function. The software component to be verified includes at least one function which uses sensor information from at least one sensor. The method includes: a. providing a model for the software component to be verified, b. providing at least one sensor performance model for the at least one sensor, c. generating an overall model, in the process of which the at least one sensor performance model is combined with the model of the software component to be verified, d. analyzing the overall model using a model checking method.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20231005&amp;DB=EPODOC&amp;CC=US&amp;NR=2023315610A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76290</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20231005&amp;DB=EPODOC&amp;CC=US&amp;NR=2023315610A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Hanselmann, Michael</creatorcontrib><creatorcontrib>Heinzemann, Christian</creatorcontrib><creatorcontrib>Koenig, Lukas</creatorcontrib><title>COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION</title><description>A computer-implemented method for verifying at least one software component of an automated driving function. The software component to be verified includes at least one function which uses sensor information from at least one sensor. The method includes: a. providing a model for the software component to be verified, b. providing at least one sensor performance model for the at least one sensor, c. generating an overall model, in the process of which the at least one sensor performance model is combined with the model of the software component to be verified, d. analyzing the overall model using a model checking method.</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNy70KwjAUQOEuDqK-wwXnQn_QPSQ3NmByS3pTcQpF4iRaqO-PBnwAp7N8Z11ESbYPjL40tj-jRceowCJ3pECThxG90VfjTiBgIM0X4RHyRO5rgTQIByIwWZFP5c2YsQ5OsiG3LVb36bGk3a-bYq-RZVem-RXTMk-39EzvGIamatq2PhzrStTtf-oDSZo0Uw</recordid><startdate>20231005</startdate><enddate>20231005</enddate><creator>Hanselmann, Michael</creator><creator>Heinzemann, Christian</creator><creator>Koenig, Lukas</creator><scope>EVB</scope></search><sort><creationdate>20231005</creationdate><title>COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION</title><author>Hanselmann, Michael ; Heinzemann, Christian ; Koenig, Lukas</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2023315610A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2023</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>Hanselmann, Michael</creatorcontrib><creatorcontrib>Heinzemann, Christian</creatorcontrib><creatorcontrib>Koenig, Lukas</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Hanselmann, Michael</au><au>Heinzemann, Christian</au><au>Koenig, Lukas</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION</title><date>2023-10-05</date><risdate>2023</risdate><abstract>A computer-implemented method for verifying at least one software component of an automated driving function. The software component to be verified includes at least one function which uses sensor information from at least one sensor. The method includes: a. providing a model for the software component to be verified, b. providing at least one sensor performance model for the at least one sensor, c. generating an overall model, in the process of which the at least one sensor performance model is combined with the model of the software component to be verified, d. analyzing the overall model using a model checking method.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2023315610A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title COMPUTER-IMPLEMENTED METHOD FOR VERIFYING A SOFTWARE COMPONENT OF AN AUTOMATED DRIVING FUNCTION
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-31T23%3A40%3A05IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=Hanselmann,%20Michael&rft.date=2023-10-05&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2023315610A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true