Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Tue 27 Oct 2020 10:00 - 10:30 at Farfetch (D. Maria) - IT3 - Safety & Security Chair(s): Rui Abreu
Tue 27 Oct 2020 21:00 - 21:30 at Farfetch (D. Maria) - IT3 - Safety & Security Chair(s): Rui Abreu

Automated and autonomous driving systems (ADS) are a transformational technology in the mobility sector. Current practice for testing ADS uses virtual tests in computer simulations; search-based approaches are used to find particularly dangerous situations, possibly collisions. However, when a collision is found, it is not always easy to automatically assess whether the ADS should have been able to avoid it, without relying on offline analyses by domain experts. In this paper, we propose a definition of avoidable collision that does not rely on any domain knowledge, but only on the fact that it is possible to reconFigure the ADS (in our case, the path planner component provided by our industry partner) in a way that the collision is avoided. Based on this definition, we propose two search-based approaches for finding avoidable collisions. The first one (named sequential approach), based on current industrial practice, first searches for a collision, and then searches for an alternative configuration of the ADS which avoids it. The second one (named combined approach), instead, searches at the same time for the collision and for the alternative configuration which avoids it. Experiments show that the combined approach finds more avoidable collisions, even when the sequential approach doesn’t find any; indeed, the sequential approach, in the first search, may find too severe collisions for which there is no alternative configuration that can avoid them.

Tue 27 Oct

Displayed time zone: Lisbon change

10:00 - 11:00
IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria) +11h
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
10:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro Calò Technical University of Munich, Paolo Arcaini National Institute of Informatics , Shaukat Ali Simula Research Laboratory, Florian Hauer Technical University of Munich, Fuyuki Ishikawa National Institute of Informatics
Link to publication DOI
10:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis Atlidakis Columbia University, Patrice Godefroid Microsoft Research, USA, Marina Polishchuk Microsoft Research, USA
Link to publication DOI
21:00 - 22:00
IT3 - Safety & SecurityIndustry Track at Farfetch (D. Maria)
Chair(s): Rui Abreu Faculty of Engineering, University of Porto, Portugal
21:00
30m
Talk
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
Industry Track
Alessandro Calò Technical University of Munich, Paolo Arcaini National Institute of Informatics , Shaukat Ali Simula Research Laboratory, Florian Hauer Technical University of Munich, Fuyuki Ishikawa National Institute of Informatics
Link to publication DOI
21:30
30m
Talk
Checking Security Properties of Cloud Service REST APIs
Industry Track
Vaggelis Atlidakis Columbia University, Patrice Godefroid Microsoft Research, USA, Marina Polishchuk Microsoft Research, USA
Link to publication DOI