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 Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

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

Qian Liu
  • Fonction : Auteur
  • PersonId : 1078288
Robert de Simone
Xiaohong Chen
  • Fonction : Auteur
  • PersonId : 1078289
Jing Liu
  • Fonction : Auteur
  • PersonId : 1078290

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02952912 , version 1

Citer

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⟩
59 Consultations
217 Téléchargements

Partager

Gmail Facebook X LinkedIn More