Skip to Main content Skip to Navigation
Conference papers

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

Qian Liu 1 Robert de Simone 1 Xiaohong Chen 2 Jing Liu 2
1 KAIROS - Logical Time for Formal Embedded System Design
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/hal-02952912
Contributor : Team Kairos <>
Submitted on : Tuesday, September 29, 2020 - 4:39:43 PM
Last modification on : Monday, October 12, 2020 - 10:30:41 AM

File

1233_Paper-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02952912, version 1

Collections

Citation

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

Share

Metrics

Record views

32

Files downloads

116