Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year :

Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress

Qian Liu
  • Function : Author
  • PersonId : 1078288
Robert de Simone
Xiaohong Chen
  • Function : Author
  • PersonId : 1078289
Jing Liu
  • Function : Author
  • PersonId : 1078290

Abstract

Due to the mobility of autonomous vehicles and changing context through time, the constraints in safe driving rules specification need to be irregularly updated for monitoring the trajectory plan. This is not assumed in the Spatial-Temporal Logic. This paper proposes a novel approach to build the specification of assume-guarantee constraints providing safe driving rules related to time and space, in the context of Automated Driving Assistance Systems (ADAS). The novelty lies in that the specification adopts Multiform Logical Time to express the time constraints and provides spatial events generated by interactions on area trajectory for expressing space constraints. We propose the safe specification patterns at a high-level that provide the required expressiveness for safe driving rules. In these patterns, logical time provides the power of parameterization to express rules, before instantiation in low-level simulation contexts. The specification finally could be used to generate monitors that are executed on lower-level simulation engines with physical and topological features.
Fichier principal
Vignette du fichier
1233_Paper-2.pdf (366.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02952912 , version 1 (29-09-2020)

Identifiers

  • HAL Id : hal-02952912 , version 1

Cite

Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu. Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. EMSOFT 2020 - International Conference on Embedded Software, Sep 2020, Hamburg / Virtual, Germany. ⟨hal-02952912⟩
57 View
211 Download

Share

Gmail Facebook Twitter LinkedIn More