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

Award Information
Agency: Department of Defense
Branch: Army
Contract: N/A
Agency Tracking Number: 8734
Amount: $500,000.00
Phase: Phase II
Program: SBIR
Awards Year: 1990
Solitcitation Year: N/A
Solitcitation Topic Code: N/A
Solitcitation Number: N/A
Small Business Information
Integrated Software Inc.
Po Box 060295, Palm Bay, FL, 32906
Duns: N/A
Hubzone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Steven Von Edwins
 (305) 984-1986
Business Contact
Phone: () -
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

US Flag An Official Website of the United States Government