COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS

COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS

A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that li...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Hanselmann, Michael, Koenig, Lukas, Messer, Michael
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
Koenig, Lukas
Messer, Michael
description A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2024193071A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2024193071A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2024193071A13</originalsourceid><addsrcrecordid>eNqNjLEKwjAURbM4iPoPD5wLTSuI46N5bQMmKcmL4FSKxEm00P4_UnF0cLoXzj13LebKmS4y-Uyb7kyGLJMCQ9w6BWgVhGtgMlA7Dw1Z8sjaNsAUGBQyfsDPD4zsDC5NeX1ZpDrairWzYStW9-Expd03N2JfE1dtlsZXn6ZxuKVnmvsYirw4yFOZHyXK8r_VG-dtOl4</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS</title><source>esp@cenet</source><creator>Hanselmann, Michael ; Koenig, Lukas ; Messer, Michael</creator><creatorcontrib>Hanselmann, Michael ; Koenig, Lukas ; Messer, Michael</creatorcontrib><description>A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2024</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=20240613&amp;DB=EPODOC&amp;CC=US&amp;NR=2024193071A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76289</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20240613&amp;DB=EPODOC&amp;CC=US&amp;NR=2024193071A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>Hanselmann, Michael</creatorcontrib><creatorcontrib>Koenig, Lukas</creatorcontrib><creatorcontrib>Messer, Michael</creatorcontrib><title>COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS</title><description>A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.</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>2024</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNjLEKwjAURbM4iPoPD5wLTSuI46N5bQMmKcmL4FSKxEm00P4_UnF0cLoXzj13LebKmS4y-Uyb7kyGLJMCQ9w6BWgVhGtgMlA7Dw1Z8sjaNsAUGBQyfsDPD4zsDC5NeX1ZpDrairWzYStW9-Expd03N2JfE1dtlsZXn6ZxuKVnmvsYirw4yFOZHyXK8r_VG-dtOl4</recordid><startdate>20240613</startdate><enddate>20240613</enddate><creator>Hanselmann, Michael</creator><creator>Koenig, Lukas</creator><creator>Messer, Michael</creator><scope>EVB</scope></search><sort><creationdate>20240613</creationdate><title>COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS</title><author>Hanselmann, Michael ; Koenig, Lukas ; Messer, Michael</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2024193071A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2024</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>Koenig, Lukas</creatorcontrib><creatorcontrib>Messer, Michael</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Hanselmann, Michael</au><au>Koenig, Lukas</au><au>Messer, Michael</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS</title><date>2024-06-13</date><risdate>2024</risdate><abstract>A computer-implemented method for generating test data for computer-implemented automated driving functions. The method includes: provision of a computer-implemented automated driving function in the form of a software component; specification of an environment model with boundary conditions that limit the state space of the software component; provision of a model checker representation of the software component that is limited by the environment model; specification of a formal requirement as an input for a model checking method; and application of the model checking method to the model checker representation to analyze the software component with respect to compliance with the specified formal requirement. If the specified formal requirement is not complied with, the model checking method provides the states and state transitions of the software component that contribute to non-compliance as edge case parameters. Based on the edge case parameters, test data are then generated.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2024193071A1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title COMPUTER-IMPLEMENTED METHOD AND SYSTEM FOR GENERATING TEST DATA FOR COMPUTER-IMPLEMENTED AUTOMATED DRIVING FUNCTIONS
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-07T22%3A15%3A59IST&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=2024-06-13&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2024193071A1%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