Demo: Modular Test Frameworks for PolyVerif Autonomous Vehicle Validation Environment

Mustafa Ilhan Akbas, Mahesh Menase, Rahul Razdan

Abstract: Validation and Verification (V&V) of complex Autonomous Vehicle (AV) systems is currently an unsolved problem. In response, PolyVerif, an open-source AV V&V project, was released with the objective of accelerating research in this important area. PolyVerif provided a full open-source stack consisting of an AV engine, symbolic test generation, simulations at various levels of fidelity, a digital twin creation environment, and a flow from simulation tests to construct physical tests. This demonstration will present a series of “Design for Test” modules focused on the major pieces of an AV stack - Detection, Location Services, Control, and Path Planning. Taken together, these modules build a framework to validate complex AV stacks.