8月27日
09:46
09:46官方账号arXiv cs.AI@Roberto Luvini, Giacomo Longo, Alessandro Armando, Enrico Russo
提出一个运行时验证框架,通过检查空中交通管制员与飞行员之间的交流、监视数据和机载观察来监控空中交通管制程序。该框架将无线电通信解析为与相关实体相关的事件,并将它们与监视和机载观察合并成一个时间戳记录。使用ICAO规定的义务作为时间公式进行评估。在真实交通中,该管道达到0.85的F1分数,在1,495个由两个公共语料库生成的合成情况下,监控逻辑在所有情况下都返回预期的判决。在两个由官方调查报告重建的历史事故中,监控器识别出调查人员记录的程序偏差。
推荐理由:这篇论文提出了一种新的空中交通管制程序运行时监控框架,通过结合无线电通信、监视数据和机载观察,能够有效识别程序偏差,对于提高空中交通安全具有重要意义。与传统的监控方法相比,该方法在真实交通和合成情况下的表现都十分出色,值得深入研究。