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
Award Id:
79074
Agency Tracking Number:
F061-067-2800
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Minority Owned:
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 Institute:
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


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