Static Analysis Tool for Interface Compliance Verification and Program Comprehension

Award Information
Agency:
Department of Defense
Amount:
$986,351.00
Program:
SBIR
Contract:
N66001-12-C-5232
Solitcitation Year:
2007
Solicitation Number:
2007.3
Branch:
Navy
Award Year:
2012
Phase:
Phase II
Agency Tracking Number:
N073-185-0144a
Solicitation Topic Code:
N07-185
Small Business Information
Reservoir Labs., Inc.
632 Broadway, Suite 803, New York, NY, -
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
N
Duns:
022423854
Principal Investigator
 James Ezick
 Managing Engineer
 (212) 780-0527
 ezick@reservoir.com
Business Contact
 Melanie Peters
Title: Business Manager
Phone: (212) 780-0527
Email: peters@reservoir.com
Research Institution
 Stub
Abstract
This Phase II.5 effort will advance the state of test technology for Software Defined Radio (SDR) applications and operating environments through the continued development of the R-Check SCA tool. R-Check SCA is a static analysis tool being used by the Joint Program Executive Office (JPEO) Joint Tactical Radio System (JTRS) Test and Evaluation Laboratory (JTEL). R-Check SCA accelerates and improves the precision of the compliance certification process of JTRS waveforms against requirements derived from the Software Communications Architecture (SCA) specification, version 2.2 and 2.2.2. R-Check SCA has dramatically improved the accuracy and efficiency of certifying several of the most difficult SCA requirements. Over a period of eighteen (18) months, this Phase II.5 effort will lead to an enterprise solution for static code analysis that (1) improves tool ease-of-use and extensibility in reducing end-to-end testing and cost, (2) plugs into Integrated Development Environments (IDEs) used by prime vendors, (3) identifies potential memory leaks, and (4) can be leveraged to support other JTEL efforts.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government