An Official Website of the United States Government
Runtime Verification of Cognitive Systems
- Small Business Information
-
Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
- Phase 2
-
Fiscal Year: 2007Title: Runtime Verification of Cognitive SystemsAgency / Branch: DOD / USAFContract: FA8750-07-C-0049Award 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.Small Business Information at Submission:RESERVOIR LABS., INC.
632 Broadway, Suite 803 New York, NY 10012EIN/Tax ID: 061303098DUNS: N/ANumber of Employees:Woman-Owned: NoMinority-Owned: NoHUBZone-Owned: No
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 |