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-19-C-0621
Agency Tracking Number: F17C-T05-0019
Amount: $749,866.00
Phase: Phase II
Program: STTR
Solicitation Topic Code: AF17-CT05
Solicitation Number: 17.C
Solicitation Year: 2017
Award Year: 2019
Award Start Date (Proposal Award Date): 2019-06-15
Award End Date (Contract End Date): 2021-06-15
Small Business Information
6100 Uptown Blvd. NE, Suite 260
Albuquerque, NM 87110
United States
DUNS: 079360382
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Kendra Lang
 Senior Controls Engineer
 (505) 492-6190
Business Contact
 John Babineaux
Phone: (505) 338-2182
Research Institution
 Timothy Gehret Timothy Gehret
505 10th Street
Atlanta, GA 30332
United States

 (404) 594-0950
 Nonprofit College or University

This effort seeks verification tools and techniques to ensure safety and stability of spacecraft Guidance, Navigation, and Control (GN&C) algorithms, particularly the attitude control system integrated with autonomy software. Advanced control algorithms and autonomy are increasingly necessary to enable responsiveness of fleets of vehicles to attitude constraints and object avoidance. Verus Research therefore proposes the software suite DOVES: Design and Operation of VErified Spacecraft. DOVES will comprise a Design Tool, a Mission Planning Tool, and a Real-Time Assurance (RTA) Tool, whose combined capabilities will ensure robust safety and requirement satisfaction throughout the lifecycle of a spacecraft. Each tool will also function as a standalone capability that targets a specific aspect of the spacecraft control system development and operation. Formal verification is the underlying technology of each tool. A combination of techniques will be incorporated to guarantee, both offline and online, that stability, actuator, and attitude constraints are always satisfied. DOVES, and its individual components, will enable advanced control systems and increased autonomy onboard spacecraft through its robust safety assurances.

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

US Flag An Official Website of the United States Government