Accession Number:

ADA250183

Title:

Execution Time Prediction of Ada Programs

Descriptive Note:

Master's thesis

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH

Personal Author(s):

Report Date:

1991-01-01

Pagination or Media Count:

124.0

Abstract:

Specification of the timing properties of real-time systems is a fundamental part of their requirements. Analyzing the timing properties of the systems design and implementation is an important issue for the system developer. Timing analysis is necessary to determine the validity of a design or implementation in respect to the real-time specification. Using timing schema and PERT networks, Ada program timing behavior can be analyzed. The use of PERT networks is simple but restricted to single processor systems. Replacing the PERT networks with a communicating real-time state machines model allows the analysis of Ada programs on multi-processor systems. The technique is developed with examples and applied to a Macintosh IIsi programming environment. A foundation is laid for measuring how good a timing analysis prediction fits the implementation.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE