USA flag logo/image

An Official Website of the United States Government

RELIABLE SPECIFICATION FOR ADA SOFTWARE

Award Information

Agency:
National Aeronautics and Space Administration
Branch:
N/A
Award ID:
10549
Program Year/Program:
1990 / SBIR
Agency Tracking Number:
10549
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Software Productivity
122 4th Ave. Indialantic, FL 32903
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1990
Title: RELIABLE SPECIFICATION FOR ADA SOFTWARE
Agency: NASA
Contract: N/A
Award Amount: $498,840.00
 

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.

Principal Investigator:

Dr Andres Rudmik

Business Contact:

Small Business Information at Submission:

Software Productivity Solution
Po Box 361697 Melbourne, FL 32936

EIN/Tax ID:
DUNS: N/A
Number of Employees: N/A
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No