Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1

2020/02/28 by Robin Bloomfield, Bloomfield, Robin, Gareth Fletcher +18
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Robotics (cs.RO) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Systems and Control (eess.SY) #electronic engineering #information engineering

paper · pdf · doi:10.48550/arxiv.2003.00789

openalex publication_date 2020/02/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS (Tigars) project. These notes aim to support the development and evaluation of autonomous vehicles. Part 1 addresses: Assurance-overview and issues, Resilience and Safety Requirements, Open Systems Perspective and Formal Verification and Static Analysis of ML Systems. Part 2: Simulation and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines.

Citations

• Safety Verification of Deep Neural Networks
• Motivating the Rules of the Game for Adversarial Example Research
• A Simple Explanation for the Existence of Adversarial Examples with Small Hamming Distance

Related

• Towards Identifying and closing Gaps in Assurance of autonomous Road\n vehicleS -- a collection of Technical Notes Part 2
• Simulation Assessment Guidelines towards Independent Safety Assurance of Autonomous Vehicles
• Verification and Validation of Autonomous Systems
• Guidance on the Safety Assurance of Autonomous Systems in Complex Environments (SACE)
• Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems