You are here

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
Solicitation Topic Code: N13A-T014
Solicitation Number: 2013.A
Timeline
Solicitation Year: 2013
Award Year: 2013
Award Start Date (Proposal Award Date): 2013-07-01
Award End Date (Contract End Date): 2014-04-30
Small Business Information
531 Esty Street
Ithaca, NY -
United States
DUNS: 603978321
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
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-
United States

 (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. *

US Flag An Official Website of the United States Government