Runtime Verification of Cognitive Systems

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$749,990.00
Award Year:
2007
Program:
SBIR
Phase:
Phase II
Contract:
FA8750-07-C-0049
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:
JonathanSpringer
Managing Engineer
(212) 780-0527
springer@reservoir.com
Business Contact:
NormanBasch
General Manager
(212) 780-0527
basch@reservoir.com
Research Institute:
n/a
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.

* 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