USA flag logo/image

An Official Website of the United States Government

Progressive Model Generation for Adaptive Resilient System Software

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
Program Year/Program:
2013 / STTR
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 14850-
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2013
Title: Progressive Model Generation for Adaptive Resilient System Software
Agency / Branch: DOD / NAVY
Contract: N00014-13-P-1175
Award Amount: $80,000.00
 

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.

Principal Investigator:

Michael McDougall
Senior Scientist
(607) 273-7340
mcdougall@grammatech.com

Business Contact:

Derek Burrows
General Counsel
(607) 273-7340
dburrows@grammatech.com
Small Business Information at Submission:

GrammaTech, Inc
531 Esty Street Ithaca, NY -

EIN/Tax ID: 161338879
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
University of Pennsylvania
Office of Research Services
P221 Franklin Bldg/6205; 3451
Philadelphia, PA 19104-
Contact: W. S. Watson
Contact Phone: (215) 573-6707