Progressive Model Generation for Adaptive Resilient System Software

Award Information
Agency:
Department of Defense
Branch:
Navy
Amount:
$80,000.00
Award Year:
2013
Program:
STTR
Phase:
Phase I
Contract:
N00014-13-P-1175
Agency Tracking Number:
N13A-014-0013
Solicitation Year:
2013
Solicitation Topic Code:
N13A-T014
Solicitation Number:
2013.A
Small Business Information
GrammaTech, Inc
531 Esty Street, Ithaca, NY, -
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
603978321
Principal Investigator
 Michael McDougall
 Senior Scientist
 (607) 273-7340
 mcdougall@grammatech.com
Business Contact
 Derek Burrows
Title: General Counsel
Phone: (607) 273-7340
Email: dburrows@grammatech.com
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
Abstract
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

US Flag An Official Website of the United States Government