paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Hazard analysis for human-on-the-loop interactions in sUAS systems

sUAS 系统中 human-on-the-loop 交互的危害分析
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 1/10 · 该论文关注 sUAS 领域中 human-on-the-loop 交互的安全危害分析与危害树构建,属于安全工程/人机交互安全方向,与用户研究的程序语言、静态分析、形式化验证、浮点程序分析、贝叶斯程序分析及 LLM/Agent 交叉方向基本无关。引用 28 inbox
Michael Vierhauser, Md Nafee Al Islam, Ankit Agrawal, Jane Cleland-Huang, James Mason
crossref: 2026-09-12

AI 速览

一句话:构建 sUAS 领域级安全分析资产,系统识别 human-on-the-loop 交互点、危害因素与缓解措施。

随着 AI 技术发展,自主系统从 human-in-the-loop 转向 human-on-the-loop,更多责任由人转给系统,导致人机交互边界出现新型错误。传统安全分析多关注系统级危害,较少处理用户相关或用户诱发的危害。本文为 sUAS 应用构建领域级安全分析资产,并给出从系统危害中显式、系统地识别 Human Interaction Points、Hazard Factors 与 Mitigations 的流程。评估分两部分:一是检验近期 sUAS 事件在本文危害树中的覆盖程度;二是邀请六名领域专家使用危害树为 sUAS 使用场景识别和记录危害。结果表明,危害树对多种 sUAS 应用场景提供有效覆盖,并能激发安全思考,帮助用户识别并潜在缓解人机交互危害。

问题
自主系统从 human-in-the-loop 转向 human-on-the-loop,人机交互边界的新型用户相关危害未被传统系统级安全分析充分覆盖。
方法
为 sUAS 构建领域级安全分析资产,定义并系统识别 Human Interaction Points、Hazard Factors 与 Mitigations,形成危害树。
评估
用近期 sUAS 事件检查危害树覆盖度,并由六名领域专家使用危害树为具体使用场景识别和记录危害。
原文摘要(Abstract)

With the rise of new AI technologies, autonomous systems are moving towards a paradigm in which increasing levels of responsibility are shifted from the human to the system, creating a transition from human-in-the-loop systems to human-on-the-loop (HoTL) systems. This has a significant impact on the safety analysis of such systems, as new types of errors occurring at the boundaries of human-machine interactions need to be taken into consideration. Traditional safety analysis typically focuses on system-level hazards with little focus on user-related or user-induced hazards that can cause critical system failures. To address this issue, we construct domain-level safety analysis assets for sUAS (small unmanned aerial systems) applications and describe the process we followed to explicitly, and systematically identify Human Interaction Points (HiPs), Hazard Factors and Mitigations from system hazards. We evaluate our approach by first investigating the extent to which recent sUAS incidents are covered by our hazard trees, and second by performing a study with six domain experts using our hazard trees to identify and document hazards for sUAS usage scenarios. Our study showed that our hazard trees provided effective coverage for a wide variety of sUAS application scenarios and were useful for stimulating safety thinking and helping users to identify and potentially mitigate human-interaction hazards.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot6441,
  title = {Hazard analysis for human-on-the-loop interactions in sUAS systems},
  author = {Michael Vierhauser and Md Nafee Al Islam and Ankit Agrawal and Jane Cleland-Huang and James Mason},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468534}
}