The Search for Effective Algorithms for Recovery from Loss of Separation

An approach for developing high confidence algorithms for recovering aircraft from loss of separation situations was presented previously by the authors. The correctness theorems for the algorithms relied on several key assumptions, namely that state data for all local aircraft are perfectly known, that resolution maneuvers can be achieved instantaneously, and that all aircraft compute resolutions using exactly the same data. These assumptions were adequate in cases where the aircraft are far away from losing separation, but are insufficient when the aircraft have already lost separation. This paper proposes a new criteria specification for loss of separation recovery that preserves the formal safety properties of the previous criteria while overcoming some key limitations. Candidate algorithms that satisfy the new criteria are presented.

• Record URL:
  http://shemesh.larc.nasa.gov/people/cam/publications/dasc2012-draft.pdf
• 
• Authors:
  • Butler, Ricky
  • Hagen, George
  • Maddalon, Jeffrey
  • Munoz, Cesar
  • Narkawicz, Anthony
• Conference:
  • 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC)
  • Location: Williamsburg VA
  • Date: 2012-10-14 to 2012-10-18
• Publication Date: 2012-10

Language

• English

Media Info

• Media Type: Digital/other
• Features: Figures; References;
• Pagination: 11p

Subject/Index Terms

• TRT Terms: Aircraft separation; Algorithms; Aviation safety
• Uncontrolled Terms: Loss of separation recovery
• Subject Areas: Aviation; Operations and Traffic Management; Safety and Human Factors; I73: Traffic Control;

Filing Info

• Accession Number: 01480666
• Record Type: Publication
• Files: TRIS
• Created Date: May 3 2013 8:48AM