Computer-implemented method for verifying at least one software component of automated driving function
The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable ed...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng |
| Schlagworte: | |
| 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 | KONIG LOTHAR HEINZEMANN CHRISTIAN |
| description | The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable edge conditions, the environment model is provided in the form of local environment model program code 110, 210, the local program code 105, 205 of the software component to be verified and the environment model program code 110, 210 are compiled 115, and a model checker representation 219, 219, 219, 219) for the software component to be verified, which model checker representation is limited by edge conditions of the environment model, is generated. And verifying 220 the model inspector representation 219 using a model inspection method. A software component of an automated driving function and a computer-implemented system for implementing an automated driving function are also presented.
提出一种用于验证自动化驾驶功能的至少一个软件组件的计 |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_CN117454354A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>CN117454354A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_CN117454354A3</originalsourceid><addsrcrecordid>eNqNjMEKgkAURd20iOofXh_gQlRahxitWrWXh96xAWfeMPM0-vsU-oBWFw73nH02NuLCrIi5dWGCg1cM5KAvGchIpAXRmo_1I7HSBE5K4kFJjL45gvrVX4FfsSGeVRxvhSHaZZPM7Hu14o_ZzvCUcPrtITvf2mdzzxGkQwrcw0O75lEUl6quyrq6lv98vjZ9QN0</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Computer-implemented method for verifying at least one software component of automated driving function</title><source>esp@cenet</source><creator>KONIG LOTHAR ; HEINZEMANN CHRISTIAN</creator><creatorcontrib>KONIG LOTHAR ; HEINZEMANN CHRISTIAN</creatorcontrib><description>The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable edge conditions, the environment model is provided in the form of local environment model program code 110, 210, the local program code 105, 205 of the software component to be verified and the environment model program code 110, 210 are compiled 115, and a model checker representation 219, 219, 219, 219) for the software component to be verified, which model checker representation is limited by edge conditions of the environment model, is generated. And verifying 220 the model inspector representation 219 using a model inspection method. A software component of an automated driving function and a computer-implemented system for implementing an automated driving function are also presented.
提出一种用于验证自动化驾驶功能的至少一个软件组件的计</description><language>chi ; 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&date=20240126&DB=EPODOC&CC=CN&NR=117454354A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25542,76516</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20240126&DB=EPODOC&CC=CN&NR=117454354A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>KONIG LOTHAR</creatorcontrib><creatorcontrib>HEINZEMANN CHRISTIAN</creatorcontrib><title>Computer-implemented method for verifying at least one software component of automated driving function</title><description>The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable edge conditions, the environment model is provided in the form of local environment model program code 110, 210, the local program code 105, 205 of the software component to be verified and the environment model program code 110, 210 are compiled 115, and a model checker representation 219, 219, 219, 219) for the software component to be verified, which model checker representation is limited by edge conditions of the environment model, is generated. And verifying 220 the model inspector representation 219 using a model inspection method. A software component of an automated driving function and a computer-implemented system for implementing an automated driving function are also presented.
提出一种用于验证自动化驾驶功能的至少一个软件组件的计</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>eNqNjMEKgkAURd20iOofXh_gQlRahxitWrWXh96xAWfeMPM0-vsU-oBWFw73nH02NuLCrIi5dWGCg1cM5KAvGchIpAXRmo_1I7HSBE5K4kFJjL45gvrVX4FfsSGeVRxvhSHaZZPM7Hu14o_ZzvCUcPrtITvf2mdzzxGkQwrcw0O75lEUl6quyrq6lv98vjZ9QN0</recordid><startdate>20240126</startdate><enddate>20240126</enddate><creator>KONIG LOTHAR</creator><creator>HEINZEMANN CHRISTIAN</creator><scope>EVB</scope></search><sort><creationdate>20240126</creationdate><title>Computer-implemented method for verifying at least one software component of automated driving function</title><author>KONIG LOTHAR ; HEINZEMANN CHRISTIAN</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_CN117454354A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>chi ; 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>KONIG LOTHAR</creatorcontrib><creatorcontrib>HEINZEMANN CHRISTIAN</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>KONIG LOTHAR</au><au>HEINZEMANN CHRISTIAN</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Computer-implemented method for verifying at least one software component of automated driving function</title><date>2024-01-26</date><risdate>2024</risdate><abstract>The invention relates to a computer-implemented method 300 for verifying at least one software component of an automated driving function, comprising the following steps: providing 101, 201 an environment model which limits a state space of the software component to be verified by predeterminable edge conditions, the environment model is provided in the form of local environment model program code 110, 210, the local program code 105, 205 of the software component to be verified and the environment model program code 110, 210 are compiled 115, and a model checker representation 219, 219, 219, 219) for the software component to be verified, which model checker representation is limited by edge conditions of the environment model, is generated. And verifying 220 the model inspector representation 219 using a model inspection method. A software component of an automated driving function and a computer-implemented system for implementing an automated driving function are also presented.
提出一种用于验证自动化驾驶功能的至少一个软件组件的计</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | chi ; eng |
| recordid | cdi_epo_espacenet_CN117454354A |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | Computer-implemented method for verifying at least one software component of 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-02-13T19%3A46%3A38IST&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=KONIG%20LOTHAR&rft.date=2024-01-26&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3ECN117454354A%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 |