Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00039-09-C-0118
Agency Tracking Number: N073-185-0144
Amount: $950,187.00
Phase: Phase II
Program: SBIR
Awards Year: 2009
Solicitation Year: 2007
Solicitation Topic Code: N07-185
Solicitation Number: 2007.3
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803, New York, NY, 10012
DUNS: 022423854
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
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

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