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
Phone: () -
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