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

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.