Specification and Test Based Reverse Engineering of Low Level Code System (EDAMarksman)

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N00014-04-M-0104
Agency Tracking Number: O032-4039
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2004
Solicitation Year: 2003
Solicitation Topic Code: OSD03-021
Solicitation Number: 2003.2
Small Business Information
1245 Lyons Road, Building G, Dayton, OH, 45458
DUNS: 031764616
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
Principal Investigator
 David Barton
 Principal Investigator
 (937) 433-0477
Business Contact
 Dale Kirby
Title: Vice President
Phone: (937) 433-0477
Email: d.kirby@edaptive.com
Research Institution
There is an urgent need in the military to upgrade and re-implement low-level software embedded in operational weapon systems, despite the millions of lines of often undocumented code. EDAptive Computing, Inc. (ECI) presents an innovative solution to the problem of creating specifications from low level code, such as assembly and CMS-2. Our Specification and Test Based Reverse Engineering of Low Level Code System (EDAMarksman) program will apply a combination of formal specification, reverse engineering (compilation), and test generation to provide a specification-based system for testing. Specifically, we propose to utilize an iterative approach to 1) derive specifications from existing code using formal reverse engineering techniques, 2) derive tests from the specifications, 3) apply the tests to the original code and receive feedback, and 4) update the specifications based on test results. Tests produced from specifications will be used to validate the specifications, indicating where tests fail on the actual system, and guide the production of new specifications. The result of this solution will be a specification creation process that will be verified by the actual execution of the system, as guided by the generated specification. We will use a real-life Navy/DoD system as a candidate Phase I demonstration vehicle.

* 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