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
Agency Tracking Number:
10549
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Software Productivity Solution
Po Box 361697, Melbourne, FL, 32936
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Dr Andres Rudmik
() -
Business Contact:
() -
Research Institution:
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

US Flag An Official Website of the United States Government