Execution Time Prediction of Ada Programs
AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH
Pagination or Media Count:
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.
- Computer Programming and Software