USA flag logo/image

An Official Website of the United States Government

Runtime Verification of Cognitive Systems

Award Information

Agency:
Department of Defense
Branch:
Air Force
Award ID:
79074
Program Year/Program:
2007 / 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 2
Fiscal Year: 2007
Title: Runtime Verification of Cognitive Systems
Agency / Branch: DOD / USAF
Contract: FA8750-07-C-0049
Award Amount: $749,990.00
 

Abstract:

Automation is becoming increasingly significant in operational domains. To manage this automation, it is becoming increasingly useful or even necessary to utilize cognitive computing. Due to their inherent complexity, however, cognitive systems are resistant to conventional verification and validation techniques. New technologies are needed to provide assurances of correct behavior in these systems. We propose to develop an end-to-end tool for runtime verification of cognitive systems using a combination of existing techniques and innovations for specifying and checking intended behavior. Our proposed tool will incorporate temporal logics to specify intended program behavior, an efficient runtime checker, and a first-fault debugging capability, in which a running system records sufficient information to identify a cause from a violation. We believe that this unique combination of features will ease the debugging and increase reliability of cognitive systems.

Principal Investigator:

Jonathan Springer
Managing Engineer
2127800527
springer@reservoir.com

Business Contact:

Norman Basch
General Manager
2127800527
basch@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