You are here

Verification and Validation of Algorithms for Resilient Complex Software Controlled Systems

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA9453-18-P-0226
Agency Tracking Number: F17C-T05-0031
Amount: $149,777.00
Phase: Phase I
Program: STTR
Solicitation Topic Code: AF17-CT05
Solicitation Number: 2017.0
Solicitation Year: 2017
Award Year: 2018
Award Start Date (Proposal Award Date): 2018-03-07
Award End Date (Contract End Date): 2019-03-07
Small Business Information
10440 Little Patuxent Parkway, suite 600
Columbia, MD 21044
United States
DUNS: 172216827
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Jason Westphal
 (410) 715-0005
Business Contact
 Thomas Kubancik
Phone: (410) 715-0005
Research Institution
 University of New Mexico
 Dr. Meeko Oishi
Suite 2600 MSC01 1240
Alburquerque, NM 87131
United States

 (505) 277-0299
 Nonprofit College or University

In response to the challenges described in AF173-CT05, Applied Defense Solutions (ADS) and the University of New Mexico (UNM) (equivalently, the ADS Team) propose to research and develop innovative validation and verification (V&V) algorithms for spacecraft GN&C. The ADS Team is unique in that it brings operational flight GN&C software experience (ADS) with cutting edge research on algorithm V&V (UNM) together. The overall goal is to shift the paradigm in GN&C software development practice from pre-flight simulations combined with on-orbit testing, to more resilient formal V&V design approaches that reduce the reliance on simulation and on-orbit testing. The proposed V&V algorithms: 1) are near real-time computable, 2) assure probabilistic safety and performance, and 3) solve both the maneuver-safety (falsification) and synthesis problems. The approaches and solutions developed by the ADS Team of world class researchers and practitioners of GN&C software design and development will investigate approaches to V&V of algorithms for GN&C of spacecraft. This work is expected to result in a more robust GN&C software that reduces dependence on on-orbit testing.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government