You are here

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
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 1987
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
330 S Ludlow St
Dayton, OH 45402
United States
DUNS: N/A
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
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. *

US Flag An Official Website of the United States Government