ADA ROBUST SOFTWARE RELIABILITY DEMONSTRATION

Award Information

Agency: Department of Defense	Branch: Missile Defense Agency	Award ID: 3658	Program Year/Program: 1987 / SBIR
Agency Tracking Number: 3658	Solicitation Year: N/A	Solicitation Topic Code: N/A	Solicitation Number: N/A

Small Business Information: Applications Resources Inc
123 Old Belden Hill Road #32 Norwalk, CT 06850
View profile »

Woman-Owned: No

Minority-Owned: No

HUBZone-Owned: No

Phase 2: Fiscal Year: 1987

Title: ADA ROBUST SOFTWARE RELIABILITY DEMONSTRATION

Agency / Branch: DOD / MDA

Contract: N/A

Award Amount: $203,000.00

Abstract:
THE OBJECTIVE OF THIS EFFORT IS TO DEMONSTRATE THE EXTENT TO WHICH CERTAIN FEATURES OF THE ADA PROGRAMMING LANGUAGE CAN BE USED TO DETECT AND HANDLE HIDDEN SOFTWARE ERRORS WHICH WOULD OTHERWISE HALT PROGRAM EXECUTION. ADA'S TYPING, EXCEPTION HANDLING, AND INTERFACE CHECKIG PROVIDE THE TOOLDS FOR BUILDING SUCH ROBUTNESS INTO SOURCE CODE. THE OBJECTIVE OF THIS DEMONSTRATION IS TO SHOW HOW ROBUTNESS CAN BE GENERAL ENOUGH TO DETECT AND PARTIALLY COMPENSATE FOR A WIDE RANGE OF ERRORS. THE DEMONSTRATION INCLUDES WRITING ADDITIONAL CODE INTO AN EXISTING COMPLEX ADA PROGRAM, WITH AN INDEPENDENT GROUP OF PROGRAMMERS ATTEMPTING TO INSERT SUBTLE ERRORS WHICH COULD CAUSE FAILURE.

Principal Investigator:
Thomas V Brown
5132237215

Business Contact:

Small Business Information at Submission:

Applications Research Corp.
330 S Ludlow St Dayton, OH 45402

EIN/Tax ID:

DUNS: N/A

Number of Employees:

Woman-Owned: No

Minority-Owned: No

HUBZone-Owned: No