Autonomous vehicle safety evaluation through a high-fidelity simulation approach

Baykara, Baris Cem; Malayjerdi, E; Malayjerdi, Mohsen; Sell, Raivo

doi:10.3176/proc.2021.4.07

Cited by 8 publications

(1 citation statement)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using the PolyVerif Framework partner teams addressed their specific V&V research challenges. Current ongoing active projects with the PolyVerif include: 1) Digital Twin Model of AV route in Tallinn, Estonia with an Autoware engine [34], [39], [40]. 2) Digital Twin Model of AV route in Jacksonville, Florida with a non Autoware engine [41].…”

Section: Polyverif Projectsmentioning

confidence: 99%

PolyVerif: An Open-Source Environment for Autonomous Vehicle Validation and Verification Research Acceleration

et al. 2023

View full text Add to dashboard Cite

Validation and Verification (V&V) of Artificial Intelligence (AI) based cyber physical systems such as Autonomous Vehicles (AVs) is currently a vexing and unsolved problem. AVs integrate subsystems in areas such as detection, sensor fusion, localization, perception, and path planning. Each of these subsystems contains significant AI content integrated with traditional hardware and software components. The complexity for validating even a subsystem is daunting and the task of validating the whole system is nearly impossible. Fundamental research in advancing the state-of-the-art for AV V&V is required. However, for V&V researchers, it is exceedingly difficult to make progress because of the massive infrastructure requirements to demonstrate the viability of any solution. This paper presents PolyVerif, the world's first open-source solution focused on V&V researchers with the objective of accelerating the state-of-the-art for AV V&V research. PolyVerif provides an AI design and verification framework consisting of a digital twin creation process, an open-source AV engine, access to several open-source physics based simulators, and open-source symbolic test generation engines.PolyVerif's objective is to arm V&V researchers with a framework which extends the state-of-the-art on any one of the many major axes of interest and use the remainder of the infrastructure to quickly demonstrate the viability of their solution. Given its open-source nature, researchers can also contribute their innovations to the project. Using this critical property of open-source environments, the innovation rate of the whole research community to solve these vexing issues can be greatly accelerated. Finally, the paper also presents results from several projects which have used PolyVerif.

show abstract