A Code Analysis Tool for High-Integrity Systems

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N/A
Agency Tracking Number: 41408
Amount: $69,841.00
Phase: Phase I
Program: SBIR
Awards Year: 1998
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
1330 Braddock Place, Alexandria, VA, 22314
DUNS: N/A
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Willian Pritchett
 (703) 683-8430
Business Contact
Phone: () -
Research Institution
N/A
Abstract
Research is currently underway to produce guidelines for the development of mission and safety critical systems implemented in Ada 95. This research will analyze whether certain features of Ada 95 should be included or excluded from a critical application. To be of practical value such an analysis will require specific tool support. The Ada Semantic Interface Specification (ASIS) defines a vendor independent API for accessing both the syntactic and semantic information stored within an Ada compiler's library. In this Phase I proposal, we propose to design a tool utilizing ASIS, which is compiler and platform independent and which will allow code to be analyzed based on the evolving standard guidelines for critical systems. The design will employ a layered approach separating the GUI, the ASIS query engine and the report generator. This combined with the use of Ada/Java technology will allow the tool to operate on multiple platforms with little or no modification. The design will be object-oriented with emphasis and utilizing and developing reusable components wherever possible. The design will be expressed in the Unified Modeling Language (UML).

* 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