Multiform Logical Time & Space for Mobile Cyber-Physical System with Automated Driving Assistance System - 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 Mobile Cyber-Physical System with Automated Driving Assistance System

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

Résumé

We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for 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 main novelty lies in the use of logical clocks to represent the epochs of specific area encounters (when particular area trajectories just start overlapping for instance), thereby combining time and space constraints by CCSL to build safe driving rules specification. We propose the safe specification pattern at high-level that provide the required expressiveness for safe driving rules specification. In the pattern, multiform logical time provides the power of parameterization to express safe driving rules, before instantiation in further simulation contexts. We present an efficient way to irregularly update the constraints in the specification due to the context changes, where elements (other cars, road sections, traffic signs) may dynamically enter and exit the scene. In this way, we add constraints for the new elements and remove the constraints related to the disappearing elements rather than rebuild everything. The multi-lane highway scenario is used to illustrate how to irregularly and efficiently update the constraints in the specification while receiving a fresh scene.
Fichier principal
Vignette du fichier
apsec2020-1.pdf (2.25 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-02952919 , version 1

Citer

Qian Liu, Robert de Simone, Xiaohong Chen, Jing Liu. Multiform Logical Time & Space for Mobile Cyber-Physical System with Automated Driving Assistance System. APSEC 2020 - Asia-Pacific Software Engineering Conference, Dec 2020, Singapour, Singapore. ⟨hal-02952919⟩
96 Consultations
206 Téléchargements

Partager

Gmail Facebook X LinkedIn More