A Consistency Analysis Method for Traffic Sequence Charts
The trend in the development of highly automated vehicles goes towards scenario-based methods. Traffic Sequence Charts are a visual but yet formal language for describing scenario-based requirements on highly automated vehicles. This work presents an approach for finding inconsistencies (conflicts)...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | 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 | Becker, Jan Steffen |
| description | The trend in the development of highly automated vehicles goes towards
scenario-based methods. Traffic Sequence Charts are a visual but yet formal
language for describing scenario-based requirements on highly automated
vehicles. This work presents an approach for finding inconsistencies
(conflicts) in a set of scenario-based requirements formalized with Traffic
Sequence Charts. The proposed method utilizes satisfiability modulo theories
solving on two-sided approximations of possible vehicle behavior. This ensures
that found inconsistencies are not caused by approximations, but also occur
when applying exact methods. Applicability and scalability of the analysis
technique is evaluated in a case study. |
| doi_str_mv | 10.48550/arxiv.2409.03774 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_2409_03774</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2409_03774</sourcerecordid><originalsourceid>FETCH-arxiv_primary_2409_037743</originalsourceid><addsrcrecordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjGw1DMwNjc34WSwdFRwzs8rziwuSc1LrlRwzEvMqQTyFHxTSzLyUxTS8osUQooS09IykxWCUwtLgYpSFZwzEotKinkYWNMSc4pTeaE0N4O8m2uIs4cu2JL4gqLM3MSiyniQZfFgy4wJqwAAKHkz1Q</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>A Consistency Analysis Method for Traffic Sequence Charts</title><source>arXiv.org</source><creator>Becker, Jan Steffen</creator><creatorcontrib>Becker, Jan Steffen</creatorcontrib><description>The trend in the development of highly automated vehicles goes towards
scenario-based methods. Traffic Sequence Charts are a visual but yet formal
language for describing scenario-based requirements on highly automated
vehicles. This work presents an approach for finding inconsistencies
(conflicts) in a set of scenario-based requirements formalized with Traffic
Sequence Charts. The proposed method utilizes satisfiability modulo theories
solving on two-sided approximations of possible vehicle behavior. This ensures
that found inconsistencies are not caused by approximations, but also occur
when applying exact methods. Applicability and scalability of the analysis
technique is evaluated in a case study.</description><identifier>DOI: 10.48550/arxiv.2409.03774</identifier><language>eng</language><subject>Computer Science - Systems and Control</subject><creationdate>2024-08</creationdate><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,780,885</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/2409.03774$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.2409.03774$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Becker, Jan Steffen</creatorcontrib><title>A Consistency Analysis Method for Traffic Sequence Charts</title><description>The trend in the development of highly automated vehicles goes towards
scenario-based methods. Traffic Sequence Charts are a visual but yet formal
language for describing scenario-based requirements on highly automated
vehicles. This work presents an approach for finding inconsistencies
(conflicts) in a set of scenario-based requirements formalized with Traffic
Sequence Charts. The proposed method utilizes satisfiability modulo theories
solving on two-sided approximations of possible vehicle behavior. This ensures
that found inconsistencies are not caused by approximations, but also occur
when applying exact methods. Applicability and scalability of the analysis
technique is evaluated in a case study.</description><subject>Computer Science - Systems and Control</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNpjYJA0NNAzsTA1NdBPLKrILNMzMjGw1DMwNjc34WSwdFRwzs8rziwuSc1LrlRwzEvMqQTyFHxTSzLyUxTS8osUQooS09IykxWCUwtLgYpSFZwzEotKinkYWNMSc4pTeaE0N4O8m2uIs4cu2JL4gqLM3MSiyniQZfFgy4wJqwAAKHkz1Q</recordid><startdate>20240821</startdate><enddate>20240821</enddate><creator>Becker, Jan Steffen</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20240821</creationdate><title>A Consistency Analysis Method for Traffic Sequence Charts</title><author>Becker, Jan Steffen</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-arxiv_primary_2409_037743</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Computer Science - Systems and Control</topic><toplevel>online_resources</toplevel><creatorcontrib>Becker, Jan Steffen</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Becker, Jan Steffen</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A Consistency Analysis Method for Traffic Sequence Charts</atitle><date>2024-08-21</date><risdate>2024</risdate><abstract>The trend in the development of highly automated vehicles goes towards
scenario-based methods. Traffic Sequence Charts are a visual but yet formal
language for describing scenario-based requirements on highly automated
vehicles. This work presents an approach for finding inconsistencies
(conflicts) in a set of scenario-based requirements formalized with Traffic
Sequence Charts. The proposed method utilizes satisfiability modulo theories
solving on two-sided approximations of possible vehicle behavior. This ensures
that found inconsistencies are not caused by approximations, but also occur
when applying exact methods. Applicability and scalability of the analysis
technique is evaluated in a case study.</abstract><doi>10.48550/arxiv.2409.03774</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.2409.03774 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_2409_03774 |
| source | arXiv.org |
| subjects | Computer Science - Systems and Control |
| title | A Consistency Analysis Method for Traffic Sequence Charts |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-03T09%3A06%3A59IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20Consistency%20Analysis%20Method%20for%20Traffic%20Sequence%20Charts&rft.au=Becker,%20Jan%20Steffen&rft.date=2024-08-21&rft_id=info:doi/10.48550/arxiv.2409.03774&rft_dat=%3Carxiv_GOX%3E2409_03774%3C/arxiv_GOX%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 |