Progressive Model Generation for Adaptive Resilient System Software

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-13-P-1176
Agency Tracking Number: N13A-014-0224
Amount: $79,999.00
Phase: Phase I
Program: STTR
Awards Year: 2013
Solicitation Year: 2013
Solicitation Topic Code: N13A-T014
Solicitation Number: 2013.A
Small Business Information
Securboration Inc
1050 W NASA Blvd, Suite 155, Melbourne, FL, -
DUNS: 038379579
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Lee Krause
 Vice President R&D
 (321) 591-9836
 lkrause@securboration.com
Business Contact
 Lynn Lehman
Title: CEO
Phone: (919) 244-3946
Email: contracts@securboration.com
Research Institution
 Vanderbilt University
 George E Cook
 5332 Stevenson Center
Nashville, TN, 37235-
 (615) 332-2762
 Nonprofit college or university
Abstract
Complex software systems are typically developed by disparate engineering teams working concurrently. At the same time, software requirements are frequently dynamic, evolving even during active development cycles. Discrepancies between how software is defined and how it is implemented at the modular level can cascade into critical system errors when modules are integrated. More troubling is that integration of modules containing poorly specified or poorly tested code can imperceptibly weaken the system from a security perspective, enabling an attacker to exploit undefined program states to exert undue control over the underlying system. The objective of the proposed work is the creation of the Robust Software Modeling Tool (RSMT), which enables software design to be precisely defined incrementally from the ground up by developers and later verified against assumptions that are made top-down by management. This greatly reduces the risk of integrating third party modules into an existing software system. RSMT is an incremental modeling tool that will be implemented as an Eclipse plugin targeting the Java language. It could, however, be extended to apply to virtually any compiled language.

* 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