USA flag logo/image

An Official Website of the United States Government

Static Analysis Tool for Interface Compliance Verification and Program…

Award Information

Department of Defense
Award ID:
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803 New York, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 2
Fiscal Year: 2009
Title: Static Analysis Tool for Interface Compliance Verification and Program Comprehension
Agency / Branch: DOD / NAVY
Contract: N00039-09-C-0118
Award Amount: $600,196.00


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.

Principal Investigator:

James Ezick
Senior Engineer

Business Contact:

Melanie Peters
Senior Engineer
Small Business Information at Submission:

632 Broadway, Suite 803 New York, NY 10012

EIN/Tax ID: 061303098
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No