You are here

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
Solicitation Topic Code: OSD13-HS2
Solicitation Number: 2013.3
Solicitation Year: 2013
Award Year: 2014
Award Start Date (Proposal Award Date): 2014-01-24
Award End Date (Contract End Date): 2014-10-24
Small Business Information
1410 Sachem Place Suite 202
Charlottesville, VA 22901-2496
United States
DUNS: 120839477
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 John Schierman
 Principal Research Scientist
 (434) 973-1215
Business Contact
 Connie Hoover
Title: General Manager
Phone: (434) 973-1215
Research Institution

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. *

US Flag An Official Website of the United States Government