Cognitive Techniques for Analysis of Complex Software Systems

Award Information
Agency: Department of Defense
Branch: Air Force
Contract: FA8750-06-C-0144
Agency Tracking Number: F061-067-2289
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2006
Solicitation Year: 2006
Solicitation Topic Code: AF06-067
Solicitation Number: 2006.1
Small Business Information
317 N. Aurora Street, Ithaca, NY, 14850
DUNS: 603978321
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Paul Anderson
 Senior Scientist
 (607) 273-7340
 paul@grammatech.com
Business Contact
 Ray Teitelbaum
Title: CEO/Chairman
Phone: (607) 273-7340
Email: tt@grammatech.com
Research Institution
N/A
Abstract
The problem of finding flaws in large complex software systems is acute and getting worse because many systems are employing new cognitive techniques to increase their capabilities. Such techniques are typically highly dynamic and concurrent, which increases the complexity of the system and makes it correspondingly harder to debug. Traditional approaches fail because they are incapable of handling such levels of complexity. Often the cause of many complex flaws can be traced to errors in how the components of the system communicate and interact. Recently new methods have emerged that use sophisticated data mining and machine-learning techniques to automatically locate the source of flaws. These work by learning the rules for legal interactions between components by observing the behavior of the system during normal operations. These rules can then be automatically checked either statically or dynamically. We propose to create a prototype of a system that uses these techniques. It will learn temporal properties from traces, and feed the resulting rules to a static checker. The checker will report if any part of a component may violate these rules. This is feasible in Phase I because we are able to leverage a great deal of existing technology and expertise.

* 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