Towards a formal language for the common description of aircraft intent
Towards a formal language for the common description of aircraft intent
复制标题
寻求一种通用描述飞机意图的正式语言
DOI：
--
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
S. Swierstra
中科院分区：
文献类型：
--
作者：
M. Vilaplana;E. Gallo;F.A. Navarro;S. Swierstra
本文总结了几种不同的方法应用于编码TP实现中的飞机意图的关键特性。差异似乎很大。我们的结论是，一个标准化的正式方法来表达飞机的意图信息（理解为输入到轨迹计算过程）是一个关键的使能器，以实现所需的一致性。本文确定了需要一种形式化的语言，在轨迹计算的背景下，飞机的意图的共同描述。这样的语言，表示为飞机意图描述语言（AIDL），将允许在一个单一的标准统一框架内表达具有不同层次的细节的飞机意图。通过使用AIDL作为意图共享的通用标准，不同的TP客户端可以在一致的TP输入的基础上进行互操作，而不管他们的个人需求如何。建议的方法被认为是一种可能的解决方案，以确保未来的ATM自动化组件之间的互操作性。
This paper summarizes the key characteristics of several different methods applied to encode aircraft intent in TP implementations. The differences appear to be significant. We conclude that a standardized formal method to express aircraft intent information (understood as input to the trajectory computation process) is a key enabler to achieve the required consistency. This paper identifies the need for a formal language for the common description of aircraft intent in the context of trajectory computation. Such a language, denoted as aircraft intent description language (AIDL), would allow expressing the aircraft intent with different levels of detail within a single standard unifying framework. By using the AIDL as a common standard for intent sharing, different TP clients could interoperate on the basis of a consistent input to the TP, regardless of their individual requirements. The proposed approach is considered as a possible solution to ensure interoperability among future ATM automation components.