• Corpus ID: 211677709

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

  title={Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1},
  author={Robin E. Bloomfield and Gareth Fletcher and Heidy Khlaaf and Philippa Ryan and Shuji Kinoshita and Yoshiki Kinoshita and Makoto Takeyama and Yamato Matsubara and Peter Popov Kazuki Imai and Yoshinori Tsutake},
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. This report is Part 2 and discusses: Simulation… 

Figures and Tables from this paper


Challenges in Autonomous Vehicle Testing and Validation
Five major challenge areas in testing according to the V model for autonomous vehicles are identified: driver out of the loop, complex requirements, non-deterministic algorithms, inductive learning algorithms, and failoperational systems.
The Risk Assessment of ERTMS-Based Railway Systems from a Cyber Security Perspective: Methodology and Lessons Learned
The focus of the paper is on the overall methodology for security-informed safety and hazard analysis, ranging from an analysis of potential vulnerabilities in the ERTMS specifications through to a high-level cyber security risk assessment.
Basic concepts and taxonomy of dependable and secure computing
The aim is to explicate a set of general concepts, of relevance across a wide range of situations and, therefore, helping communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of systems failures.
A Study on Run Time Assurance for Complex Cyber Physical Systems
This study investigates the key technologies available and needed to increase the reliance on run time assurance, and suggests that if, through the use of run time architecture, the authors can provably bound systems behavior, then it may be possible to reduce the dependence on comprehensive off-line verification, shifting the analysis/test burden to the more provable run timeurance mechanism.
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262
A detailed assessment and adaption of ISO 26262 for ML is done, specifically in the context of supervised learning, to address a conflict between the need to innovate and theneed to improve safety in automotive development.
Toward Scalable Verification for Safety-Critical Deep Networks
The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability, so work on mitigating this difficulty is given, by developing scalable verification techniques and identifying design choices that result in deep learning systems that are more amenable to verification.
In this article, reuse is defined simply as using previously existing software artifacts as part of the process of creating software systems from predefined software components.
Resilience Engineering: Concepts and Precepts
This definitive new book explores this groundbreaking new development in safety and risk management, where 'success' is based on the ability of organizations, groups and individuals to anticipate the changing shape of risk before failures and harm occur.
Open Systems Dependability
The demands for the dependability of huge and complex software systems, which include black box software such as legacy codes and off the shelf components, and the necessity of Continuous Operations are highlighted.
Architecting Principles for Systems‐of‐Systems
A taxonomy of these super-systems is proposed and a basic set of architecting principles to assist in their design is exhibited.