Using Traffic Sequence Charts for the Development of HAVs

Abstract : Within the german automotive industry there is a convergence on proposing catalogs of scenarios as a key element for acceptance testing of highly autonomous vehicles (HAV). This approach is currently taken in the german PEGASUS project and the ECSEL project ENABLE-S3, and will be matured in follow up projects currently under evaluation. A traffic scenario catalog lists possible traffic evolutions. In this paper, (i) we illustrate how a scenario catalog captured via Traffic Sequence Charts (TSCs) can advantageously accompany the development process of HAVs and (ii) we give an overview of the main features of TSCs. TSCs are a new formal visual specification language, especially tailored for the specification of scenario catalogs. TSCs visualize first-order real-time temporal logic formulas (they are hence tool independent) and are intuitively comprehensible by visualizing scenarios.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01714060
Contributor : Astrid Rakow <>
Submitted on : Wednesday, February 21, 2018 - 11:25:02 AM
Last modification on : Tuesday, February 27, 2018 - 1:14:35 AM
Long-term archiving on: Tuesday, May 22, 2018 - 1:38:51 PM

File

ERTS_2018_paper_17.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01714060, version 1

Collections

Citation

W Damm, S Kemper, E Möhlmann, T Peikenkamp, A Rakow. Using Traffic Sequence Charts for the Development of HAVs. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-01714060⟩

Share

Metrics

Record views

358

Files downloads

123