Execution Time Prediction of Ada Programs.

摘要

Specification of the timing properties of real-time systems is a fundamental part of their requirements. Analyzing the timing properties of the system's 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.