SPECIFICATION AND VERIFICATION OF TIMING CONSTRAINTS FOR ADA EMBEDDED-REAL TIME SYSTEMS

Award Information
Agency:
Department of Defense
Branch
Army
Amount:
$500,000.00
Award Year:
1990
Program:
SBIR
Phase:
Phase II
Contract:
n/a
Award Id:
8734
Agency Tracking Number:
8734
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
Integrated Software Inc. (Currently Integrated Software Inc)
Po Box 060295, Palm Bay, FL, 32906
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
n/a
Principal Investigator:
Steven Von Edwins
(305) 984-1986
Business Contact:
() -
Research Institution:
n/a
Abstract
THE PROPOSED PROJECT DEFINES METHODS AND TOOLS FOR SPECIFYING TIMING CONSTRAINTS FOR SOFTWARE WRITTEN IN ADA. THE PROJECT WILL ALSO DEFINE COMPANION METHODS AND TOOLS FOR VERIFYING THAT THOSE CONSTRAINTS ARE MET. ISI PROPOSES TO ANALYZE ARMY REQUIREMENTS FOR TIME CONSTRAINED SOFTWARE. RESULTS WILL BE USED TO DERIVE REQUIREMENTS FOR METHODS WHICH SPECIFY TIME CONSTRAINTS AND VERIFY COMPLIANCE. WE WILL DEFINE CANDIDATE METHODS AND SELECT THE ONE WHICH BEST ADDRESSES THE ARMY'S NEEDS. THESE EFFORTS WILL BE AUGMENTED BY ONGOING WORK AT ISI. PROGRAMS ARE UNDERWAY INVOLVING DISTRIBUTED REAL-TIME ADA, ADA RUN-TIME ENVIRONMENTS FOR REAL-TIME APPLICATIONS, HARDWARE BASED REAL-TIME GARBAGE COLLECTION AND TASK MANAGEMENT, AND ALTERNATIVE SCHEDULING AND DISPATCHING SCHEMES FOR REAL-TIME ADA. ISI IS PERFORMING THIS WORK UNDER CONTRACT TO THE AIR FORCE, NAVY, AND THE STARS PROGRAM.

* 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