Runtime Verification of Cognitive Systems

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8750-07-C-0049
Agency Tracking Number: F061-067-2800
Amount: $749,990.00
Phase: Phase II
Program: SBIR
Awards Year: 2007
Solicitation Year: 2006
Solicitation Topic Code: AF06-067
Solicitation Number: 2006.1
Small Business Information
632 Broadway, Suite 803, New York, NY, 10012
DUNS: 022423854
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Jonathan Springer
 Managing Engineer
 (212) 780-0527
Business Contact
 Norman Basch
Title: General Manager
Phone: (212) 780-0527
Research Institution
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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government