|
|
|
home >
research
> fm-atm
Formal Analysis of Air Traffic Management SystemsThe research has focused on fundamental algorithms for conflict detection and resolution (CD&R) and self-spacing in the terminal area. The goal is to formally prove that safety-critical algorithms produce valid solutions that are guaranteed to maintain separation under all possible scenarios. Current research has assumed perfect knowledge of the location of other aircraft in the vacinity so absolute guarantees are possible. Future work will look at the system design issues associated with possibly incomplete or faulty information from communication sources.
|
||
|
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) |
