NASA LaRC Formal Methods Program Research

home

welcome

quick page

philosophy

team

research

links

new?

Formal Analysis of Air Traffic Management Systems

The 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.

Conflict Detection and Resolution (CD&R)
Small Aircraft Transportation System (SATS)
Enhanced Oceanic Operations (EOO)
Runway Safety Monitor (RMS)
Airborne Information for Lateral Spacing (AILS)
Air Traffic Management at NIA

Note: The external link tag identifies links that are outside of the NASA domain.

Curator and Responsible NASA Official: Ricky W. Butler
larc privacy statement
last modified: 26 September 2003 (10:10:40)