用AI工具帮企业把欧盟AI法案要求转化为可验证的开发规范。
From Obligation to Specification: A Survey on Validating EU AI Act Requirements in RE

- 用大模型代理工具将法规义务映射为可测试的需求
- 发现多数企业缺乏全生命周期的合规追踪机制
- 适合合规、需求工程与AI开发团队参考
随着欧盟《人工智能法案》(EU AI Act)生效,开发或运营AI系统的组织面临透明度、风险管理与可追溯性等新义务。对于需求工程(RE)而言,这些义务需转化为可测试、可审计的需求及可验证证据。然而,当前许多组织缺乏系统化流程来实现这一转化。我们假设基于大语言模型(LLM)的智能体式验证工具可支持该转化过程,从而弥补这一差距。通过专家访谈(N=10)和在线调查(N=15),涵盖需求工程、数据科学、开发与合规角色,评估组织对法案导向型需求工程的准备情况及对基于LLM的智能体闭环验证工具的看法。结果表明,尽管欧盟《人工智能法案》被认为高度相关,但结构化的义务捕获、更新传播至项目、以及全生命周期的可追溯性与证据维护机制仍普遍缺失。参与者认为基于大模型的工具在义务到需求的映射、覆盖率评估与证据组织方面具有潜力,但对完全自动化表示强烈担忧,强调必须设立保障机制。基于此,我们提出了实现欧盟《人工智能法案》就绪的闭环方法的最低要求。
原文摘要 · Abstract (English)
With the EU AI Act entering into force, organizations developing or operating AI systems face new obligations on transparency, risk management, and traceability. For Requirements Engineering (RE), these obligations must be translated into testable, auditable requirements and verifiable evidence. However, many organizations currently lack systematic processes to achieve this. We hypothesize that LLM-based agentic validation tools can support this translation, thereby helping to close this gap. We present a mixed-method exploratory study with expert interviews (N=10) and an online survey (N=15) to assess organizational preparedness for EU AI Act-oriented RE and perceptions of LLM-based, agentic closed-loop validation tools, with participants spanning RE, data science, development, and compliance roles. Our results show that, although the EU AI Act is viewed as highly relevant, structured mechanisms to capture regulatory obligations, propagate updates into projects, and maintain lifecycle-wide traceability and evidence are often missing. Participants see LLM-based tools as promising for mapping obligations to requirements, assessing coverage, and organizing evidence, but express strong concerns about full automation and stress the need for safeguards. Based on these findings, we outline minimum requirements for an EU AI Act-ready closed-loop approach.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。