Runtime Verification of Cognitive Systems
Small Business Information
RESERVOIR LABS., INC.
632 Broadway, Suite 803, New York, NY, 10012
AbstractAutomation 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.