Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
| Autor: | Julien Niol, Boutheina Bannour, Paolo Crisafulli |
|---|---|
| Přispěvatelé: | CEA- Saclay (CEA), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), APSYS [Elancourt], APSYS, IRT SystemX |
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Black box (phreaking)
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] Theoretical computer science Computer science business.industry Time series analysis Modular design Symbolic execution Formal methods [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Identification (information) [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF] Redundancy Self-Driving Vehicles [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL] Model-based design Redundancy (engineering) Analytical models Representation (mathematics) business Advanced Driver Assistance Systems [PHYS.PHYS.PHYS-DATA-AN]Physics [physics]/Physics [physics]/Data Analysis Statistics and Probability [physics.data-an] |
| Zdroj: | 2021 IEEE Intelligent Vehicles Symposium (IV) 2021 IEEE Intelligent Vehicles Symposium (IV), Jul 2021, Nagoya, Japan. pp.215-222, ⟨10.1109/IV48863.2021.9575528⟩ |
| DOI: | 10.1109/IV48863.2021.9575528⟩ |
| Popis: | International audience; Finding comprehensive and relevant scenarios is a major challenge for autonomous vehicles validation and SOTIF. A functional scenario, e.g. a cut-in, encloses many concrete variations. Formal methods help covering an intermediate level of scenario families, called logical, and capitalizing them in a scenario database. Families are generated from discrete and modular symbolic models through a new subsumption criterion which allows the identification of scenario suffixes which are redundant and eliminate them during the generation. The generation, including the implementation of the subsumption criterion, benefits from: i) the compact representation of models thanks to discretization and symbolic arithmetic, ii) dedicated symbolic execution techniques. Analysis is performed to verify how the generated scenarios cover real situations by confronting them to time series from the modeled system and identify potential gaps in the model. We formally define our approach, implement it in the symbolic execution tool DIVERSITY. Assessment is carried out on a real autopilot black box module from the project 3SA. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|