Skip past navigation NASA Langley Formal Methods


home

welcome

quick page

philosophy

team

research

links

new?
  home > research > fm-atm > fm-atm-eoo

Enhanced Oceanic Operations (EOO)

The goal of this project is to develop and demonstrate new operational procedures and systems to increase the efficiency of oceanic operations:
  • Enable pilots to make trajectory changes that save fuel.
  • Current oceanic trajectories are fixed altitude.
The project focuses on the development of the In Trail Climb/Descend Procedure, which is on the first applications of ASAS (airborne separation assurance) technology. They key challenge is to demonstrate an equivalent level of safety to today's operations, via traditional techniques and formal methods

Note: The link to external site tag identifies links that are outside of the NASA domain.

 

  Skip past navigation  
home | welcome | quick page | philosophy | team | research | quote | links | new?
Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 26 September 2003 (10:10:40)