Run-time Verification, Validation, and Debugging of Cognitive Systems

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$99,994.00
Award Year:
2006
Program:
SBIR
Phase:
Phase I
Contract:
FA8750-06-C-0133
Agency Tracking Number:
F061-067-2800
Solicitation Year:
2006
Solicitation Topic Code:
AF06-067
Solicitation Number:
2006.1
Small Business Information
RESERVOIR LABS., INC.
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
022423854
Principal Investigator:
Peter Mattson
Managing Engineer
(212) 780-0527
mattson@reservoir.com
Business Contact:
Melanie Peters
Business Manager
(212) 780-0527
peters@reservoir.com
Research Institution:
n/a
Abstract
We propose to design a system for run-time verification and validation (V&V), and debugging, of cognitive systems. Cognitive systems have unique characteristics that make them challenging to verify, validate, and debug: they make intelligent decisions based on complex and often incomplete data, they learn from experience, and their functionality is encoded in data. These characteristics require run-time verification and validation. We will develop a prototype tool for run-time verification and validation of a cognitive system using a best-of-breed combination of existing techniques and new innovations for specifying and checking intended behavior. In the event that run-time V&V detects a violation, the characteristics of cognitive systems also require innovative debugging tools. Since a cognitive system makes intelligent decisions based on learned knowledge, it will be extremely difficult to reproduce the circumstances that lead to a fault. This will require first-fault debugging in which a running system records sufficient information to enable back-tracking a fault to the cause. Because functionality is encoded as data, the debugger will extract a data-driven trace showing the data interactions that lead up to a fault.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government