Blending Kinematic and Software Models for Tighter Reachability Analysis - ICSE NIER 2020
Channel: Carl Hildebrandt
Date: 30/06/2020

Authors: Carl Hildebrandt, Sebastian Elbaum, and Nicola Bezzo

This work was presented at the 42nd International Conference on Software Engineering: https://2020.icse-conferences.org

Live Presentation: https://youtu.be/EFUHuoMWzs8?t=7886

Abstract: Reachable sets are critical for path planning and navigation of mobile autonomous systems. Traditionally, these sets are computed using system models instantiated with their physical bounds. This exclusive focus on the physical bounds belies the fact that these systems are increasingly driven by sophisticated software components that can also bound the variables in the system models. This work explores the degree to which bounds manifested in the soft- ware can affect the computation of reachable sets, introduces an analysis approach to discover such bounds in code, and illustrates the potential of that approach on two systems. The preliminary results reveal that taking into consideration software bounds can reduce traditionally computed reachable sets by up to 91%.

Paper: https://2020.icse-conferences.org/details/icse-2020-New-Ideas-and-Emerging-Results/11/Blending-Kinematic-and-Software-Models-for-Tighter-Reachability-Analysis