Progressive Model Generation for Adaptive Resilient System Software

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$80,000.00
Award Year:
2013
Program:
STTR
Phase:
Phase I
Contract:
N00014-13-P-1175
Award Id:
n/a
Agency Tracking Number:
N13A-014-0013
Solicitation Year:
2013
Solicitation Topic Code:
N13A-T014
Solicitation Number:
2013.A
Small Business Information
531 Esty Street, Ithaca, NY, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
603978321
Principal Investigator:
MichaelMcDougall
Senior Scientist
(607) 273-7340
mcdougall@grammatech.com
Business Contact:
DerekBurrows
General Counsel
(607) 273-7340
dburrows@grammatech.com
Research Institute:
University of Pennsylvania
W. S Watson
Office of Research Services
P221 Franklin Bldg/6205; 3451
Philadelphia, PA, 19104-
(215) 573-6707

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


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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government