USA flag logo/image

An Official Website of the United States Government

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