Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency:
Department of Defense
Amount:
$950,187.00
Program:
SBIR
Contract:
N00039-09-C-0118
Solitcitation Year:
2007
Solicitation Number:
2007.3
Branch:
Navy
Award Year:
2009
Phase:
Phase II
Agency Tracking Number:
N073-185-0144
Solicitation Topic Code:
N07-185
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803, New York, NY, 10012
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
022423854
Principal Investigator
 James Ezick
 Senior Engineer
 (212) 780-0527
 ezick@reservoir.com
Business Contact
 Melanie Peters
Title: Senior Engineer
Phone: (212) 780-0527
Email: peters@reservoir.com
Research Institution
N/A
Abstract
Our objective is to develop a suite of analysis tools (with both static and dynamic components) usable by both software developers and testing specialists to evaluate compliance of Joint Tactical Radio System (JTRS) software codes with requirements derived from the Software Communications Architecture (SCA) standard. In Phase I, we demonstrated both static and dynamic analysis tool prototypes that were able to check selected SCA requirements against the FM3TR reference waveform and, for the purposes of demonstrating scalability, other large off-the-shelf code bases. The transition target for this system is the JTRS Testing & Evaluation Laboratory (JTEL) which maintains test capability and certifies code in support of the JTRS initiative. In Phase II, we will deliver tool technology, applicable to any large C or C++ code case, that will allow developers to reason about their own code while providing a push-button tool to testing engineers. These tools will perform essential evaluation functions currently performed by JTEL through a combination of manual code review and ad hoc on-site testing. We will be aided in developing a more robust commercial product and in identifying additional transition opportunities though our ongoing collaboration with Mercury Federal Systems.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government