---
title: "可执行且可解释的空中交通管制通话程序运行时监控框架"
source: "arXiv AI/CL/LG（论文）"
source_tier: "t2"
url: "https://arxiv.org/abs/2608.25926v1"
permalink: "https://feed.astralor.com/items/itm_553568786d17ccfa87c1e30f"
published: "2026-08-26T15:37:00.000Z"
score: 72
channel: "ai"
tags: ["Air Traffic Control","arXiv","ICAO","Runtime Verification","Temporal Logic"]
---

# 可执行且可解释的空中交通管制通话程序运行时监控框架

## AI 点评

> 这篇论文把形式化方法和语音识别结合，给航空安全监控提供了一个很实用的新思路。对于研究NLP落地、尤其是高风险场景中的可解释AI的人来说，值得一读。

## 速览

空中交通管制程序通过管制员与飞行员之间的通话执行，其失败可能造成严重安全隐患。本文提出一个运行时验证框架，将无线电通话解析为与相关实体关联的事件，并与监视数据和机载观测融合成带时间戳的轨迹。基于ICAO规定的义务被形式化为带显式时间约束的时序公式，在轨迹上评估并报告违规及证据。真实流量下F1达0.85；在1495个合成场景中全部判定正确；两个历史事故的重建中识别出与调查报告一致的程序偏差。

## 关键点

- 提出一个端到端运行时监控框架，结合语音解析、监视数据与机载观测，自动检测管制通话中的程序违规。
- 将ICAO义务形式化为带显式时间界限的时序公式，实现可解释的违规报告。
- 真实数据F1为0.85，合成数据全部正确，历史事故重建与调查报告一致。

## 全文

Air traffic control procedures are executed through spoken exchanges between controllers and pilots. These interactions are essential to the safety of air transportation: failures in their execution can create severe operational hazards, as evidenced by past fatal accidents. Assessing whether an instruction has been followed requires relating what was said to the aircraft concerned, its state, and the obligations that pilots must meet. We present a runtime verification framework that monitors such procedures by checking controller-pilot exchanges, surveillance data, and onboard observations. The framework parses radio communications into events linked to the entities they concern and merges them with surveillance and onboard observations into a time-stamped trace. The ICAO-derived obligations as formalized as temporal formulas with explicit time bounds and evaluated over execution traces. Every violation is reported along with the breached obligations and the observations that support the verdict. With real traffic, the complete pipeline reaches an F1 of 0.85 against blind human-annotated violations; in 1,495 synthetic situations derived from two public corpora, the monitor logic returns the expected verdict in every case. In two historical accidents reconstructed from official investigation reports, the monitor identifies the same procedural deviations documented by the investigators.

---

引用前请核对原文;本文由星际流动整理:https://feed.astralor.com/items/itm_553568786d17ccfa87c1e30f