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

Award Information
Agency:
Department of Defense
Branch
Office of the Secretary of Defense
Amount:
$100,000.00
Award Year:
2004
Program:
SBIR
Phase:
Phase I
Contract:
N00014-04-M-0104
Award Id:
71885
Agency Tracking Number:
O032-4039
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
1245 Lyons Road, Building G, Dayton, OH, 45458
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
031764616
Principal Investigator:
DavidBarton
Principal Investigator
(937) 433-0477
d.barton@edaptive.com
Business Contact:
DaleKirby
Vice President
(937) 433-0477
d.kirby@edaptive.com
Research Institute:
n/a
Abstract
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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government