ADA ROBUST SOFTWARE RELIABILITY DEMONSTRATION

Award Information
Agency:
Department of Defense
Branch
Missile Defense Agency
Amount:
$203,000.00
Award Year:
1987
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Award Id:
3658
Agency Tracking Number:
3658
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
330 S Ludlow St, Dayton, OH, 45402
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Thomas V Brown
(513) 223-7215
Business Contact:
() -
Research Institute:
n/a
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.

* 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