NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
An Efficient Universal Trajectory LanguageThe Efficient Universal Trajectory Language (EUTL) is a language for specifying and representing trajectories for Air Traffic Management (ATM) concepts such as Trajectory-Based Operations (TBO). In these concepts, the communication of a trajectory between an aircraft and ground automation is fundamental. Historically, this trajectory exchange has not been done, leading to trajectory definitions that have been centered around particular application domains and, therefore, are not well suited for TBO applications. The EUTL trajectory language has been defined in the Prototype Verification System (PVS) formal specification language, which provides an operational semantics for the EUTL language. The hope is that EUTL will provide a foundation for mathematically verified algorithms that manipulate trajectories. Additionally, the EUTL language provides well-defined methods to unambiguously determine position and velocity information between the reported trajectory points. In this paper, we present the EUTL trajectory language in mathematical detail.
Document ID
20170009610
Acquisition Source
Langley Research Center
Document Type
Technical Memorandum (TM)
Authors
Hagen, George E.
(NASA Langley Research Center Hampton, VA, United States)
Guerreiro, Nelson M.
(NASA Langley Research Center Hampton, VA, United States)
Maddalon, Jeffrey M.
(NASA Langley Research Center Hampton, VA, United States)
Butler, Ricky W.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
October 6, 2017
Publication Date
September 1, 2017
Subject Category
Astrodynamics
Computer Programming And Software
Report/Patent Number
NASA/TM-2017-219669
L-20870
NF1676L-27436
Funding Number(s)
WBS: WBS 999182.02.65.07.01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.
No Preview Available