Approach:
- Develop Air Traffic Management (ATM) algorithms
- Provide open-source Java and C++ software implementations of these algorithms
- Develop formal methods to verify critical portions of these algorithms and software
- Perform extensive testing in conjunction with the formal verification
- Provide interface documents
Drive Formal Methods Research with complex ATM software
Modules:
- CDSS, CRSS – state based conflict detection and resolution
- Bands – conflict prevention bands (state-based and intent)
- Chorus – state-based, 1 to N aircraft resolution using kinematic models (e.g. turns, speed accelerations)
- Stratway – strategic conflict detection and resolution, i.e. uses intent information (in the form of flight plans)
- ALAS – parallel runway alerting
- Watch – a real time simulator
- Util - common software
- Vectors
- Great Circle Navigation
- Lat/Lon, Euclidean projection
- Kinematics
The tag
identifies links that are outside
the NASA domain