Skip to Main content Skip to Navigation
Conference papers

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles

Jean-Baptiste Horel 1 Christian Laugier 1 Lina Marsso 2 Radu Mateescu 3 Lucie Muller 3 Anshul Paigwar 1 Alessandro Renzaglia 1 Wendelin Serwe 3 
1 CHROMA - Robots coopératifs et adaptés à la présence humaine en environnements
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services, Inria Lyon
3 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Simulation, a common practice to evaluate autonomous vehicles, requires to specify realistic scenarios, in particular critical ones, which correspond to corner-case situations occurring rarely and potentially dangerous to reproduce in real environments. Such simulation scenarios may be either generated randomly, or specified manually. Randomly generated scenarios can be easily generated, but their relevance might be difficult to assess, for instance when many slightly different scenarios target one feature. Manually specified scenarios can focus on a given feature, but their design might be difficult and time-consuming, especially to achieve satisfactory coverage. In this work, we propose an automatic approach to generate a large number of relevant critical scenarios for autonomous driving simulators. The approach is based on the generation of behavioural conformance tests from a formal model (specifying the ground truth configuration with the range of vehicle behaviours) and a test purpose (specifying the critical feature to focus on). The obtained abstract test cases cover, by construction, all possible executions exercising a given feature, and can be automatically translated into the inputs of autonomous driving simulators. We illustrate our approach by generating hundreds of behaviour trees for the CARLA simulator for several realistic configurations.
Complete list of metadata
Contributor : Radu Mateescu Connect in order to contact the contributor
Submitted on : Thursday, June 9, 2022 - 1:59:01 PM
Last modification on : Wednesday, July 6, 2022 - 4:14:18 AM


Files produced by the author(s)



Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, et al.. Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩. ⟨hal-03516799⟩



Record views


Files downloads