Progressive Model Generation for Adaptive Resilient System Software

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-13-P-1175
Agency Tracking Number: N13A-014-0013
Amount: $80,000.00
Phase: Phase I
Program: STTR
Awards Year: 2013
Solicitation Year: 2013
Solicitation Topic Code: N13A-T014
Solicitation Number: 2013.A
Small Business Information
GrammaTech, Inc
531 Esty Street, Ithaca, NY, -
DUNS: 603978321
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Michael McDougall
 Senior Scientist
 (607) 273-7340
Business Contact
 Derek Burrows
Title: General Counsel
Phone: (607) 273-7340
Research Institution
 University of Pennsylvania
 W. S Watson
 Office of Research Services
P221 Franklin Bldg/6205; 3451
Philadelphia, PA, 19104-
 (215) 573-6707
 Nonprofit college or university
Software continues to be a weak link in our critical systems. A prudent operator should employ a defense-in-depth strategy whereby"safe"systems are still monitored to detect breaches and respond to them. Unfortunately, such monitoring is challenging in practice, since there is no universal pattern that characterizes misbehaving software. We will capture an application"s intended behavior as it is coded in an IDE. The behavior will be stored as a model, and will be captured using a combination of automatic program analysis and manual tuning. We leverage modeling languages developed at the University of Pennsylvania for the purpose of runtime verification. These languages provide two levels of information: an abstract description of a system"s high-level behavior, and a mapping from high-level behavior to the source-level variables and procedures that actually implement the system. These models will supply a runtime monitor with the information needed to both determine when behavior is abnormal and determine what low-level events need to be tracked to observe the critical behavior.

* 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