RELIABLE SPECIFICATION FOR ADA SOFTWARE

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$498,840.00
Award Year:
1990
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Award Id:
10549
Agency Tracking Number:
10549
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Po Box 361697, Melbourne, FL, 32936
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Dr Andres Rudmik
() -
Business Contact:
() -
Research Institute:
n/a
Abstract
THE PROPOSED APPROACH FOCUSES ON TECHNIQUES AND TOOLS THAT WILL DRAMATICALLY IMPROVE SOFTWARE RELIABILITY THROUGH A SYSTEMATIC APPROACH FOR FAULT AVOIDANCE, BASED UPON: A RELIABLE SPECIFICATION TECHNIQUE THAT SUPPORTS THE FORMAL,INCREMENTAL, AND HUMANLY VERIFIABLE DESCRIPTION OF SYSTEM BEHAVIOR, BASED UPON THE PROVEN BOX STRUCTURES METHODOLOGY, INVENTED BY THE DISTINGUISHED IBM FELLOW, DR. HARLAN MILLS. A SYSTEMATIC SET OF TRANSFORMATIONS OF THE SPECIFICATION TO IMPLEMENTATIONS OF OBJECT-ORIENTED ADA SOFTWARE SYSTEMS THATARE HIGHLY RELIABLE. THE INTEGRATION OF THIS NEW RELIABLE DEVELOPMENT PROCESS WITH EXISTING ADVANCED VERIFICATION, VALIDATION AND TESTING APPROACHES. THE PROPOSED PHASE I EFFORT WILL DEFINE A COMPREHENSIVE FAULT AVOIDANCE METHODOLOGY. A SOPHISTICATED AUTOMATED TOOLSET, TO BE PROTOTYPED FURING PHASE II, WILL SUPPORT THE EFFICIENT DEVELOPMENT OF HIGHLY RELIABLE ADA SOFTWARE.

* 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