USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Defense 		Branch:
Air Force 		Award ID:
79074 		Program Year/Program:
2006 / SBIR
Agency Tracking Number:
F061-067-2800 		Solicitation Year:
N/A 		Solicitation Topic Code:
N/A 		Solicitation Number:
N/A
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2006
Title: Run-time Verification, Validation, and Debugging of Cognitive Systems
Agency / Branch: DOD / USAF
Contract: FA8750-06-C-0133
Award Amount: $99,994.00
 

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.

Principal Investigator:

Peter Mattson
Managing Engineer
2127800527
mattson@reservoir.com

Business Contact:

Melanie Peters
Business Manager
2127800527
peters@reservoir.com
Small Business Information at Submission:

RESERVOIR LABS., INC.
632 Broadway, Suite 803 New York, NY 10012

EIN/Tax ID: 061303098
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No