论文标题
要确定和缩小自动道路车辆保证的差距 - 技术笔记的集合第1部分
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1
论文作者
论文摘要
该报告提供了在识别自动驾驶汽车（TIGARS）项目中识别和结束差距的技术主题注释（TTN）的介绍和概述。这些笔记旨在支持自动驾驶汽车的开发和评估。第1部分地址：Assurance-Orview和问题，弹性和安全要求，开放系统的视角以及对ML系统的正式验证以及静态分析。第2部分：模拟和动态测试，深度和多样性，安全性安全分析，标准和准则。
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.
