首页/论文/2003.00790

arXiv 2003.007902020-03cs.SEcs.ROcs.SYeess.SY

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

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshit, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

备注：: Authors of the individual notes are indicated in the text

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

英文摘要相关论文

英文摘要：

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 and Dynamic Testing, Defence in Depth and Diversity, Security-Informed Safety Analysis, Standards and Guidelines.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

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

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.

2020-02-28cs.LGcs.ROcs.SE

Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicles: A Systematic Literature Review

University of York（约克大学）

Self-driving Autonomous Vehicles (SAVs) are gaining more interest each passing day by the industry as well as the general public. Tech and automobile companies are investing huge amounts of capital in research and development of SAVs to make sure they have a head start in the SAV market in the future. One of the major hurdles in the way of SAVs making it to the public roads is the lack of confidence of public in the safety aspect of SAVs. In order to assure safety and provide confidence to the public in the safety of SAVs, researchers around the world have used coverage-based testing for Verif…

2021-03-07cs.AIcs.ROcs.SE

On a Formal Model of Safe and Scalable Self-driving Cars

Mobileye（Mobileye公司）

In recent years, car makers and tech companies have been racing towards self driving cars. It seems that the main parameter in this race is who will have the first car on the road. The goal of this paper is to add to the equation two additional crucial parameters. The first is standardization of safety assurance --- what are the minimal requirements that every self-driving car must satisfy, and how can we verify these requirements. The second parameter is scalability --- engineering solutions that lead to unleashed costs will not scale to millions of cars, which will push interest in this fiel…

2018-10-27cs.AIcs.ROstat.ML

Intersection focused Situation Coverage-based Verification and Validation Framework for Autonomous Vehicles Implemented in CARLA

University of York（约克大学）；Boston University（波士顿大学）

Autonomous Vehicles (AVs) i.e., self-driving cars, operate in a safety critical domain, since errors in the autonomous driving software can lead to huge losses. Statistically, road intersections which are a part of the AVs operational design domain (ODD), have some of the highest accident rates. Hence, testing AVs to the limits on road intersections and assuring their safety on road intersections is pertinent, and thus the focus of this paper. We present a situation coverage-based (SitCov) AV-testing framework for the verification and validation (V&V) and safety assurance of AVs, developed in …

2022-01-25cs.AIcs.MAcs.RO

交叉路口道路危害的随机建模及其对自动驾驶车辆安全性的影响

Stochastic Modeling of Road Hazards on Intersections and their Effect on Safety of Autonomous Vehicles

City St George’s, University of London（伦敦大学圣乔治学院）；Intel Deutschland GmbH（德国英特尔公司）

本文提出一种基于概率模型的自动驾驶车辆安全评估方法，用于量化交叉路口道路危害及功能不完善对致命事故概率的影响，并将其扩展至给定ODD中多种运行条件的显式处理。

2025-06-03cs.RO

Argus：面向弹性的端到端自动驾驶系统（ADSs）安全保障框架

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs

College of Computer Science and Artificial Intelligence（计算机科学与人工智能学院）；Fudan University（复旦大学）

针对端到端自动驾驶系统（ADSs）在复杂场景中面临的驾驶危险问题，提出面向运行时弹性的框架Argus，通过持续监测危险并自适应响应，集成到TCP等系统后可显著提升驾驶分数并减少违规，增强系统安全性与稳健性。

2025-11-12cs.AIcs.ROcs.SE

更多相关论文收起更多论文

Security Assurance Cases for Road Vehicles: an Industry Perspective

Assurance cases are structured arguments that are commonly used to reason about the safety of a product or service. Currently, there is an ongoing push towards using assurance cases for also cybersecurity, especially in safety-critical domains, like automotive. While the industry is faced with the challenge of defining a sound methodology to build security assurance cases, the state of the art is rather immature. Therefore, we have conducted a thorough investigation of the (external) constraints and (internal) needs that security assurance cases have to satisfy in the context of the automotive…

2020-03-31cs.SE

自动驾驶系统基于场景的安全评估的落地实施

Operationalization of Scenario-Based Safety Assessment of Automated Driving Systems

TNO（荷兰国家应用科学研究院）

本文围绕联合国UNECE WP.29 GRVA工作组制定的自动驾驶系统安全评估新方法NATM，研究利用场景数据库开展实际安全评估的路径，明确落地NATM的额外步骤，并说明其与欧洲地平线项目相关方法的适配性。

2025-07-30cs.RO

确保安全自主：引领自动驾驶汽车的未来

Ensuring Safe Autonomy: Navigating the Future of Autonomous Vehicles

Fraunhofer IESE（弗劳恩霍夫 IESE）

本文针对自动驾驶安全性证明难题，提出一种集成动态风险管理的模块化自适应自主框架，以克服传统保守安全假设和感知不可靠等缺陷。

2024-03-27cs.RO

即时计算：展望无人机计算的未来

Computing on the Fly: Navigating a Vision for the Future of Drone Computing

报告设想无人机大规模运输货物等的未来，指出需弥合能力差距，确定了实现无人机技术变革潜力的十二个技术挑战及应对方法，为无人机技术发展规划了多方面的前进路径。

2026-07-22cs.AIcs.RO

Risk-Aware Reasoning for Autonomous Vehicles

Khalifa University（哈利法大学）

A significant barrier to deploying autonomous vehicles (AVs) on a massive scale is safety assurance. Several technical challenges arise due to the uncertain environment in which AVs operate such as road and weather conditions, errors in perception and sensory data, and also model inaccuracy. In this paper, we propose a system architecture for risk-aware AVs capable of reasoning about uncertainty and deliberately bounding the risk of collision below a given threshold. We discuss key challenges in the area, highlight recent research developments, and propose future research directions in three s…

2019-10-06cs.AIcs.RO

基于大语言模型的学习赋能信息物理系统测试：一种形式化方法

Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

Macquarie University（麦考瑞大学）；University of Texas at Austin（德克萨斯大学奥斯汀分校）；Yale University（耶鲁大学）；University of Wisconsin Madison（威斯康星大学麦迪逊分校）；University of Southern California（南加州大学）；University of Texas at San Antonio（德克萨斯大学圣安东尼奥分校）；University of Pennsylvania（宾夕法尼亚大学）

针对学习赋能信息物理系统现有验证确认技术不足的问题，研究梳理了当前前沿测试方法，提出从概率性测试向可提供形式化安全保障的严谨方法过渡的路线图。

2024-05-16cs.AIcs.DCcs.RO

D-AWSIM：用于动态地图生成框架的分布式自动驾驶模拟器

D-AWSIM: Distributed Autonomous Driving Simulator for Dynamic Map Generation Framework

Graduate School of Science and Engineering（科学与工程研究生学校）

针对自动驾驶扩展域的安全保障需求及实车实验、单主机模拟器的局限，提出分布式模拟器D-AWSIM，支持大规模传感器部署与密集交通模拟，搭建动态地图生成框架，提升吞吐量且兼容Autoware，助力信息共享策略研究。

2025-11-12cs.RO

车辆安全指标在前车交互工况下性能比较的多样性分析

A Diversity Analysis of Safety Metrics Comparing Vehicle Performance in the Lead-Vehicle Interaction Regime

Transportation Research Center Inc.（运输研究中心有限公司）；National Highway Traffic Safety Administration（美国国家公路交通安全管理局）

本文以前车交互运行设计域为统一比较基准，分析了1967至2022年间33个基础指标及51个变体的构造与经验性能差异，指出安全指标在概念接受和经验论证上均存在挑战。

2023-06-26cs.ROcs.SYeess.SY

自主车辆中依赖性需求测试的强化学习：一项实证研究

Reinforcement Learning for Testing Interdependent Requirements in Autonomous Vehicles: An Empirical Study

Simula Research Laboratory and University of Oslo（Simula研究实验室和奥斯陆大学）；Mondragon University（蒙dragon大学）；Simula Research Laboratory（Simula研究实验室）；University of Oslo（奥斯陆大学）

本文通过实证研究比较了单目标强化学习与多目标强化学习在生成同时测试依赖性需求的关键场景中的效果，发现多目标强化学习在场景多样性和覆盖范围上更优，而单目标强化学习在暴露严重违规方面更有效。

2026-04-28cs.LGcs.ROcs.SE

电动汽车中的AI安全保障：基于AI驱动的SOC估算的案例研究

AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation

RISE Research Institutes of Sweden（瑞典RISE研究机构）

本文针对电动汽车AI功能安全评估难题，结合ISO 26262与ISO/PAS 8800标准提出AI组件独立评估方法，并以AI驱动的SOC估算为例，通过故障注入实验验证其鲁棒性。

2025-09-03cs.ROcs.SE

通过未标注数据的不确定性估计缓解语义分割中的分布偏移

Mitigating Distributional Shift in Semantic Segmentation via Uncertainty Estimation from Unlabelled Data

University of Oxford（牛津大学）；Oxford Robotics Institute（牛津机器人研究所）；Hartree Centre（哈特里中心）

本文提出Gamma-SSL分割网络，利用未标注数据通过数据增强一致性学习不确定性估计，在SAX基准上以单次前向传播检测分布偏移，显著超越现有不确定性估计和OoD方法。

2024-02-27cs.CVcs.RO

城市环境中用于最后一英里配送的自动驾驶车辆的运行时安全保证

Runtime Safety Assurance of Autonomous Vehicles used for Last-mile Delivery in Urban Environments

针对城市最后一英里配送引发的交通与安全问题，LogiSmile项目开发了由AHV和ADD组成的自动驾驶配送系统，ISSE为其设计了包含DC和CCC的集成软件安全架构以实现运行时监控，并在Hamburg成功演示验证了该方案的有效性。

2023-07-10cs.SE

Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles

Heriot-Watt University（赫瑞瓦特大学）；City, University of London（伦敦大学城市学院）

Context: Demonstrating high reliability and safety for safety-critical systems (SCSs) remains a hard problem. Diverse evidence needs to be combined in a rigorous way: in particular, results of operational testing with other evidence from design and verification. Growing use of machine learning in SCSs, by precluding most established methods for gaining assurance, makes operational testing even more important for supporting safety and reliability claims. Objective: We use Autonomous Vehicles (AVs) as a current example to revisit the problem of demonstrating high reliability. AVs are making thei…

2020-08-19cs.AIcs.SE