Loading...
Please wait, while we are loading the content...
Similar Documents
Formal verification of air traffic conflict prevention bands algorithms
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Munoz, Cesar A. Dowek Sr., Gilles Narkawicz, Anthony J. |
| Copyright Year | 2010 |
| Description | In air traffic management, a pairwise conflict is a predicted loss of separation between two aircraft, referred to as the ownship and the intruder. A conflict prevention bands system computes ranges of maneuvers for the ownship that characterize regions in the airspace that are either conflict-free or 'don't go' zones that the ownship has to avoid. Conflict prevention bands are surprisingly difficult to define and analyze. Errors in the calculation of prevention bands may result in incorrect separation assurance information being displayed to pilots or air traffic controllers. This paper presents provably correct 3-dimensional prevention bands algorithms for ranges of track angle; ground speed, and vertical speed maneuvers. The algorithms have been mechanically verified in the Prototype Verification System (PVS). The verification presented in this paper extends in a non-trivial way that of previously published 2-dimensional algorithms. |
| File Size | 11010656 |
| Page Count | 50 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20100022161 |
| Archival Resource Key | ark:/13960/t2p60js6f |
| Language | English |
| Publisher Date | 2010-06-01 |
| Access Restriction | Open |
| Subject Keyword | Air Transportation And Safety Prevention Airspace Ground Speed Errors Algorithms Air Traffic Prototypes Air Traffic Control Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
