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
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


Files produced by the author(s)


  • HAL Id : hal-01714060, version 1



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⟩



Record views


Files downloads