You are here

Real-Time Validation of Machine Intelligence Controlling Unmanned Vehicle Autonomous Operations

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N68335-19-C-0106
Agency Tracking Number: N18B-032-0020
Amount: $124,948.00
Phase: Phase I
Program: STTR
Solicitation Topic Code: N18B-T032
Solicitation Number: 18.B
Timeline
Solicitation Year: 2018
Award Year: 2019
Award Start Date (Proposal Award Date): 2018-10-17
Award End Date (Contract End Date): 2019-04-25
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 Kendra Lang
 Principal Investigator
 (505) 492-6190
 kendra.lang@verusresearch.net
Business Contact
 John Babineaux
Phone: (505) 338-2182
Email: john.babineaux@verusresearch.net
Research Institution
 Pennsylvania State University
 John Hanold John Hanold
 
100 Technology Center Building
University Park, PA 16802
United States

 (814) 865-1372
 Nonprofit College or University
Abstract

To realize the full potential of autonomous systems, it is imperative that they behave safely, correctly, ethically, and legally. Providing these assurances through offline verification alone is insufficient, due to the complex and changing nature of autonomous systems. Online monitoring and corrective actions are necessary to account for uncertainties, and to increase trust between a human supervisor and the system. Verus Research therefore proposes VERETAS, the VErification in REal-time for Trust in Autonomous Systems tool. VERETAS achieves the five essential elements for an effective online verification tool: Speed, communication, changing requirements, predictive capabilities, and corrective actions. First, it integrates real-time software capabilities for reactive monitoring into a graphical user interface designed to simply and effectively communicate with the operator in a manner that increases trust in the system. It handles complex and changing system specifications through a requirements analysis tool. Finally, it combines formal verification with machine learning to predict future system behaviors and provides corrective actions to mitigate violations before or immediately after they occur. Anticipating future violations before they occur enables preventative actions and drastically increases the safety and trust in the autonomous system, and hence the utility of VERETAS.

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

US Flag An Official Website of the United States Government