DeepAI AI Chat
Log In Sign Up

Safety Validation of Autonomous Vehicles using Assertion-based Oracles

by   Christopher Harper, et al.
University of Bristol

Safety and mission performance validation of autonomous vehicles is a major challenge. We describe a methodology for constructing and applying assertion checks, operating in simulation or in the real world. We have been developing a library of assertions derived from the UK Highway Code (UKHC), as an example of a legal code of practice. Transformation of UKHC rules into logical assertions can be done either by direct translation or by physical modelling, to yield logical assertion expressions. We have developed a validation suite using a geospatial information system in an SQL database, to perform assertion checking of UKHC rules. The paper presents some initial simulation and realtime video analysis experiments that apply assertions related to vehicle overtaking, and a brief analysis of the safety and mission performance characteristics measured.


page 6

page 13


Learning Based High-Level Decision Making for Abortable Overtaking in Autonomous Vehicles

Autonomous vehicles are a growing technology that aims to enhance safety...

Efficient statistical validation with edge cases to evaluate Highly Automated Vehicles

The widescale deployment of Autonomous Vehicles (AV) seems to be imminen...

Interpretable Safety Validation for Autonomous Vehicles

An open problem for autonomous driving is how to validate the safety of ...

Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles

Modern-day autonomous vehicles are increasingly becoming complex multidi...

HetSched: Quality-of-Mission Aware Scheduling for Autonomous Vehicle SoCs

Systems-on-Chips (SoCs) that power autonomous vehicles (AVs) must meet s...

Synergistic Redundancy: Towards Verifiable Safety for Autonomous Vehicles

As Autonomous Vehicle (AV) development has progressed, concerns regardin...