Current and past projects:

SMART Stochastic Model-cheking Analyzer for Reliability and Timing
IVHM Integrated Vehicle Health Management
SPIDER Scalable Processor-Independent Design for Electromagnetic Resilience
EOO Enhanced Oceanic Operations
SATS Small Aircraft Transportation System
RIPS Runway Incursion Prevention System
SAVH/A4O Spacecraft Autonomy for Vehicles and Habitats/Automation for Operations
All documents are under the responsibility of their authors, and do not represent the official views of NIA. The information is given in good faith, but its accuracy cannot be guaranteed.