arXiv:2601.03120cs.AI2026-01被引 4

为航空数字孪生构建可信赖的验证框架,确保其准确性与实用性。

A framework for assuring the accuracy and fidelity of an AI-enabled Digital Twin of en route UK airspace

  • 基于可信保障方法,建立分层论证体系
  • 明确数字孪生需满足的准确性与功能要求
  • 助力科研与监管对话,推动行业标准落地

数字孪生融合仿真、运行数据与人工智能,有望为航空业带来显著效益。项目Bluebird(产业-学术合作)开发了英国航路空域的概率性数字孪生,用于训练和测试人工智能空管代理。随着该技术的兴起,监管环境正在形成,未来要求将具有应用针对性,需针对具体场景定制。本文结合数字孪生开发及人工智能/机器学习在空中交通管理中的新兴指导原则,提出一套保障框架。该框架定义了可操作的目标及证明数字孪生准确反映物理系统、并满足目标应用场景功能需求的证据要求。它为研究者提供结构化方法,以评估、理解并记录数字孪生的优势与局限,并识别可提升保真度的环节。同时,该框架支持与利益相关方及监管机构的沟通,为未来应用的监管需求讨论奠定基础,并通过一个具体的数字孪生实例,贡献于新兴指导原则的制定。框架采用可信与伦理保障(TEA)方法构建保障案例,即一系列嵌套的结构化论证,提供顶层目标实现的合理证据。本文概述各项结构化论证,并通过多个深入分析详述特定论证,包括所需证据、假设与论证依据。

原文摘要 · Abstract (English)

Digital Twins combine simulation, operational data and Artificial Intelligence (AI), and have the potential to bring significant benefits across the aviation industry. Project Bluebird, an industry-academic collaboration, has developed a probabilistic Digital Twin of en route UK airspace as an environment for training and testing AI Air Traffic Control (ATC) agents. There is a developing regulatory landscape for this kind of novel technology. Regulatory requirements are expected to be application specific, and may need to be tailored to each specific use case. We draw on emerging guidance for both Digital Twin development and the use of Artificial Intelligence/Machine Learning (AI/ML) in Air Traffic Management (ATM) to present an assurance framework. This framework defines actionable goals and the evidence required to demonstrate that a Digital Twin accurately represents its physical counterpart and also provides sufficient functionality across target use cases. It provides a structured approach for researchers to assess, understand and document the strengths and limitations of the Digital Twin, whilst also identifying areas where fidelity could be improved. Furthermore, it serves as a foundation for engagement with stakeholders and regulators, supporting discussions around the regulatory needs for future applications, and contributing to the emerging guidance through a concrete, working example of a Digital Twin. The framework leverages a methodology known as Trustworthy and Ethical Assurance (TEA) to develop an assurance case. An assurance case is a nested set of structured arguments that provides justified evidence for how a top-level goal has been realised. In this paper we provide an overview of each structured argument and a number of deep dives which elaborate in more detail upon particular arguments, including the required evidence, assumptions and justifications.

数字孪生空管系统可信保障

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。