arXiv 2102.015642021-02-02cs.LGcs.AI

Guidance on the Assurance of Machine Learning in Autonomous Systems (AMLAS)

University of York（约克大学）

Richard Hawkins, Colin Paterson, Chiara Picardi, Yan Jia, Radu Calinescu, Ibrahim Habli

英文摘要：

Machine Learning (ML) is now used in a range of systems with results that are reported to exceed, under certain conditions, human performance. Many of these systems, in domains such as healthcare , automotive and manufacturing, exhibit high degrees of autonomy and are safety critical. Establishing justified confidence in ML forms a core part of the safety case for these systems. In this document we introduce a methodology for the Assurance of Machine Learning for use in Autonomous Systems (AMLAS). AMLAS comprises a set of safety case patterns and a process for (1) systematically integrating safety assurance into the development of ML components and (2) for generating the evidence base for explicitly justifying the acceptable safety of these components when integrated into autonomous system applications.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

保障强化学习组件的安全性：AMLAS-RL

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL

Department of Computer Science, University of York（约克大学计算机科学系）

本文提出AMLAS-RL框架，通过迭代过程为强化学习系统生成安全保障论证，弥补Safe-RL在生命周期系统性保障上的不足，并用轮式车辆无碰撞导航示例进行演示。

2025-07-08cs.AIcs.LGcs.RO

Review of the AMLAS Methodology for Application in Healthcare

NHS Digital（NHS数字部）；Kheiron Medical Technologies（凯龙医疗技术公司）；Health Navigator（健康导航公司）；University of York（约克大学）

In recent years, the number of machine learning (ML) technologies gaining regulatory approval for healthcare has increased significantly allowing them to be placed on the market. However, the regulatory frameworks applied to them were originally devised for traditional software, which has largely rule-based behaviour, compared to the data-driven and learnt behaviour of ML. As the frameworks are in the process of reformation, there is a need to proactively assure the safety of ML to prevent patient safety being compromised. The Assurance of Machine Learning for use in Autonomous Systems (AMLAS)…

2022-09-01cs.LGcs.SE

Ergo, SMIRK is Safe: A Safety Case for a Machine Learning Component in a Pedestrian Automatic Emergency Brake System

RISE Research Institutes of Sweden（瑞典RISE研究院）；Lund University（隆德大学）；Semcon AB（Semcon公司）；Infotiv AB（Infotiv公司）；QRTECH AB（QRTECH公司）；Combitech AB（Combitech公司）

Integration of Machine Learning (ML) components in critical applications introduces novel challenges for software certification and verification. New safety standards and technical guidelines are under development to support the safety of ML-based systems, e.g., ISO 21448 SOTIF for the automotive domain and the Assurance of Machine Learning for use in Autonomous Systems (AMLAS) framework. SOTIF and AMLAS provide high-level guidance but the details must be chiseled out for each specific case. We initiated a research project with the goal to demonstrate a complete safety case for an ML component…

2022-12-06cs.LGcs.SE

Quantifying Assurance in Learning-enabled Systems

KBR, Inc.（KBR公司）

Dependability assurance of systems embedding machine learning(ML) components---so called learning-enabled systems (LESs)---is a key step for their use in safety-critical applications. In emerging standardization and guidance efforts, there is a growing consensus in the value of using assurance cases for that purpose. This paper develops a quantitative notion of assurance that an LES is dependable, as a core component of its assurance case, also extending our prior work that applied to ML components. Specifically, we characterize LES assurance in the form of assurance measures: a probabilistic …

2020-06-18cs.AIcs.LGcs.SE

基于视觉着陆系统的学习保证机制解释

Mechanistic Interpretability for Learning Assurance of a Vision-Based Landing System

Stanford Intelligent Systems Laboratory, Stanford University, Stanford, CA, USA（斯坦福智能系统实验室，斯坦福大学，斯坦福，CA，美国）

本文提出了一种基于视觉着陆系统的学习保证机制，通过分离内容与风格来构建可解释的模型，从而提供可靠的证据支持，同时引入了新的运行时保证方法来监控模型的情境表示。

2026-05-20cs.CVcs.LGcs.RO

Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology

Mercedes-Benz AG（梅赛德斯-奔驰股份公司）；Esslingen University of Applied Sciences（埃斯林根应用科学大学）；Google Research（谷歌研究院）；Korea University（高丽大学）

Machine learning is an established and frequently used technique in industry and academia but a standard process model to improve success and efficiency of machine learning applications is still missing. Project organizations and machine learning practitioners have a need for guidance throughout the life cycle of a machine learning application to meet business expectations. We therefore propose a process model for the development of machine learning applications, that covers six phases from defining the scope to maintaining the deployed machine learning application. The first phase combines bu…

2021-02-24cs.LGcs.SEstat.ML

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

基于扩散模型的自动驾驶灵活引导规划

Diffusion-Based Planning for Autonomous Driving with Flexible Guidance

Tsinghua University（清华大学）；Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所）；The Chinese University of Hong Kong（香港中文大学）；Shanghai Jiao Tong University（上海交通大学）；Shanghai Artificial Intelligence Laboratory（上海人工智能实验室）

针对自动驾驶中类人驾驶行为难以实现的问题，提出基于 Transformer 的 Diffusion Planner，通过统一架构联合建模预测与规划任务，支持多模态行为与车辆协作，无需规则优化即可确保轨迹质量，在 nuPlan 及配送车辆数据集上实现了先进闭环性能与稳健迁移性。

2025-02-09cs.AIcs.LGcs.RO