Combined Approaches for Verification and Validation of Run Time Protected Systems

Award Information
Agency: Department of Defense
Branch: Office of the Secretary of Defense
Contract: FA8650-14-M-2456
Agency Tracking Number: O133-HS2-1151
Amount: $149,981.00
Phase: Phase I
Program: SBIR
Awards Year: 2014
Solitcitation Year: 2013
Solitcitation Topic Code: OSD13-HS2
Solitcitation Number: 2013.3
Small Business Information
Barron Associates, Inc.
1410 Sachem Place, Suite 202, Charlottesville, VA, 22901-2496
Duns: 120839477
Hubzone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 John Schierman
 Principal Research Scientist
 (434) 973-1215
 barron@bainet.com
Business Contact
 Connie Hoover
Title: General Manager
Phone: (434) 973-1215
Email: barron@bainet.com
Research Institution
N/A
Abstract
Barron Associates has assembled a team of researchers that include Dr. Sayan Mitra of the University of Illinois and Dr. Ufuk Topcu of the University of Pennsylvania. They will spearhead three complimentary investigations into the development of verification and validation (V & V) approaches for adaptive systems protected by run time assurance (RTA) mechanisms. Two of these approaches involve using proof construction formalisms combined with guided simulation analyses to quickly determine unsafe or near-unsafe operating conditions. The third investigation will develop safety conditions that can be expressed in terms of linear temporal logic (LTL) specifications for a particularly important class of RTA systems involving multiple reversionary mode sequences so that the advanced system"s operating envelope is not limited. We will focus on two key areas in the V & V development: (a) the"switching condition"or the boundary between the safe and unsafe operating regions, and (b) the amount of"look ahead"time required to safely perform the process of switching to the reversionary system. Barron Associates will spearhead the application of the developed technologies to a challenge problem involving a fleet of Unmanned Aircraft Systems (UASs) with an RTA system protecting the fleet by determining when to activate certified collision avoidance protocols.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government