USA flag logo/image

An Official Website of the United States Government

A Code Analysis Tool for High-Integrity Systems

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
41408
Program Year/Program:
1998 / SBIR
Agency Tracking Number:
41408
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
DCS CORP.
1330 Braddock Place Alexandria, VA 22314
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 1998
Title: A Code Analysis Tool for High-Integrity Systems
Agency / Branch: DOD / NAVY
Contract: N/A
Award Amount: $69,841.00
 

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).

Principal Investigator:

Willian Pritchett
7036838430

Business Contact:


0
Small Business Information at Submission:

DCS CORP.
1330 Braddock Place Alexandria, VA 22314

EIN/Tax ID:
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No