NATIONAL INSTITUTE OF AEROSPACE

Contact Us:

David Throckmorton
Vice President of Research
757.325.6724
david.throckmorton@nianet.org

James Closs
Director of Research Program Development
757.325.6903
james.closs@nianet.org

Carly Bosco
Director of NASA Langley Programs
757.325.6726
carly.bosco@nianet.org

Peter McHugh
Director of FAA Programs
757.325.6796
peter.mchugh@nianet.org  

Samantha Austin
Program Manager, Advanced Composites Consortium Integration
757.325.6705
samantha.austin@nianet.org

Formal Methods

Formal Methodsformal methods group logo

The Formal Methods research program at the National Institute of Aerospace (NIA) 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 systemsintegrated modular avionicsairborne information systems, and other hardware and softwaresafety critical systems. Current research efforts focus on the verification of the next generation of air traffic systems and supporting autonomy for spacecraft operations.

NIA’s Formal Methods program supports NASA Langley’s Formal Methods Group by developing and applying state-of-the-art formal technologies.

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.

BUSINESS WITH NIA

Headquarters

100 Exploration Way
Hampton, VA 23666
(757)325-6700
www.nianet.org