USA flag logo/image

An Official Website of the United States Government

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

Award Information

Agency:
Department of Defense
Branch:
Army
Award ID:
8734
Program Year/Program:
1990 / SBIR
Agency Tracking Number:
8734
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Integrated Software Inc
Po Box 060295 Palm Bay, FL 32906
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 1990
Title: SPECIFICATION AND VERIFICATION OF TIMING CONSTRAINTS FOR ADA EMBEDDED-REAL TIME SYSTEMS
Agency / Branch: DOD / ARMY
Contract: N/A
Award Amount: $500,000.00
 

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.

Principal Investigator:

Steven Von Edwins
3059841986

Business Contact:

Small Business Information at Submission:

Integrated Software Inc.
Po Box 060295 Palm Bay, FL 32906

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