Block, SkipCaptcha, apieditor, Automoderated users, Bots, edit, ratelimit-exempt
58,183
edits
Changes
Jump to navigation
Jump to search
Line 6:
Line 6: − + Line 32:
Line 32: − +
Spelling, grammar, and general fixes
==Research projects==
==Research projects==
About 50 full-time researchers are working on projects at NIA. <ref> See [http://www.nianet.org/researchstaff/ listing of researchers]</ref>
About 50 full-time researchers are working on projects at NIA.<ref>See [http://www.nianet.org/researchstaff/ listing of researchers]</ref>
For example, The Formal Methods research program aims at developing and applying techniques and tools for the specification, analysis, and verification of digital systems that are of interest to NASA. Application areas include flight guidance systems, integrated modular avionics, airborne information systems, and other hardware and software safety critical systems. Current research efforts focus on the verification of Air Traffic Managment Systems. The Formal Methods Groups at NIA and NASA Langley have developed and verified several fundamental algorithms for Air Traffic Management such as Conflict Detection and Resolution (CD3D, KB3D), Resolution and Recovery (RR3D), and Cooperative and Collaborative Resolution.
For example, The Formal Methods research program aims at developing and applying techniques and tools for the specification, analysis, and verification of digital systems that are of interest to NASA. Application areas include flight guidance systems, integrated modular avionics, airborne information systems, and other hardware and software safety critical systems. Current research efforts focus on the verification of Air Traffic Managment Systems. The Formal Methods Groups at NIA and NASA Langley have developed and verified several fundamental algorithms for Air Traffic Management such as Conflict Detection and Resolution (CD3D, KB3D), Resolution and Recovery (RR3D), and Cooperative and Collaborative Resolution.
* [http://www.nianet.org/index.php NIA website]
* [http://www.nianet.org/index.php NIA website]
* [http://www.nasa.gov/centers/langley/home/index.html Langley Research Center]
* [http://www.nasa.gov/centers/langley/home/index.html Langley Research Center]
====references====
====References====
<references/>
<references/>
[[Category:Space Exploration]]
[[Category:Space Exploration]]