|
|
|
home >
research
> fm-atm
Formal Analysis of Air Traffic Management SystemsThe research has focused on the formal verification of concepts and algorithms for the next generation of Air Traffic Management systems, such as distributed state-based conflict detection and resolution (CD&R), operational concepts for small aircraft transportation, 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.
Note: The
|
||
|
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) |