Combined Approaches for Verification and Validation of Run Time Protected Systems

Award Information
Agency:
Department of Defense
Branch
Office of the Secretary of Defense
Amount:
$149,981.00
Award Year:
2014
Program:
SBIR
Phase:
Phase I
Contract:
FA8650-14-M-2456
Award Id:
n/a
Agency Tracking Number:
O133-HS2-1151
Solicitation Year:
2013
Solicitation Topic Code:
OSD13-HS2
Solicitation Number:
2013.3
Small Business Information
1410 Sachem Place, Suite 202, Charlottesville, VA, 22901-2496
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
120839477
Principal Investigator:
John Schierman
Principal Research Scientist
(434) 973-1215
barron@bainet.com
Business Contact:
Connie Hoover
General Manager
(434) 973-1215
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


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government