USA flag logo/image

An Official Website of the United States Government

Progressive Model Generation for Adaptive Resilient System Software

Award Information

Department of Defense
Award ID:
Program Year/Program:
2013 / STTR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
1050 W NASA BLVD, STE 155 MELBOURNE, FL 32901-1854
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-1176
Award Amount: $79,999.00


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.

Principal Investigator:

Lee Krause
Vice President R&D
(321) 591-9836

Business Contact:

Lynn Lehman
(919) 244-3946
Small Business Information at Submission:

Securboration Inc
1050 W NASA Blvd Suite 155 Melbourne, FL -

EIN/Tax ID: 593729686
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
Vanderbilt University
5332 Stevenson Center
Nashville, TN 37235-
Contact: George E. Cook
Contact Phone: (615) 332-2762