ADA ROBUST SOFTWARE RELIABILITY DEMONSTRATION

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: N/A
Agency Tracking Number: 3658
Amount: $203,000.00
Phase: Phase II
Program: SBIR
Awards Year: 1987
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
Applications Research Corp.
330 S Ludlow St, Dayton, OH, 45402
DUNS: N/A
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Thomas V Brown
 (513) 223-7215
Business Contact
Phone: () -
Research Institution
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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government