USA flag logo/image

An Official Website of the United States Government

Combined Approaches for Verification and Validation of Run Time Protected…

Award Information

Department of Defense
Office of the Secretary of Defense
Award ID:
Program Year/Program:
2014 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Barron Associates, Inc.
VA Charlottesville, VA 22901-2496
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2014
Title: Combined Approaches for Verification and Validation of Run Time Protected Systems
Agency / Branch: DOD / OSD
Contract: FA8650-14-M-2456
Award Amount: $149,981.00


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.

Principal Investigator:

John D. Schierman
Principal Research Scientist
(434) 973-1215

Business Contact:

Connie Hoover
General Manager
(434) 973-1215
Small Business Information at Submission:

Barron Associates, Inc.
1410 Sachem Place Suite 202 Charlottesville, VA 22901-2496

EIN/Tax ID: 541243694
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No