| タイトル | A Mathematical Analysis of Conflict Prevention Information |
| 本文（外部サイト） | http://hdl.handle.net/2060/20090034971 |
| 著者（英） | Munoz, Cesar A.; Maddalon, Jeffrey M.; Butler, Ricky W.; Dowek, Gilles |
| 著者所属（英） | NASA Langley Research Center |
| 発行日 | 2009-09-21 |
| 言語 | eng |
| 内容記述 | In air traffic management, conflict prevention information refers to the guidance maneuvers, which if taken, ensure that an aircraft's path is conflict-free. These guidance maneuvers take the form of changes to track angle or ground speed. Conflict prevention information may be assembled into prevention bands that advise the crew on maneuvers that should not be taken. Unlike conflict resolution systems, which presume that the aircraft already has a conflict, conflict prevention systems show conflicts for any maneuver, giving the pilot confidence that if a maneuver is made, then no near-term conflicts will result. Because near-term conflicts can lead to safety concerns, strong verification of information correctness is required. This paper presents a mathematical framework to analyze the correctness of algorithms that produce conflict prevention information incorporating an arbitrary number of traffic aircraft and with both a near-term and intermediate-term lookahead times. The framework is illustrated with a formally verified algorithm for 2-dimensional track angle prevention bands. |
| NASA分類 | Numerical Analysis |
| レポートNO | LF99-9322 |
| 権利 | Copyright, Distribution as joint owner in the copyright |
|
