Execution Time Prediction of Ada Programs

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1991
Accession Number
ADA250183

Entities

People

  • Christopher A. Warack

Organizations

  • Air Force Institute of Technology

Tags

DTIC Thesaurus Topics

  • Anti-Tank Missiles
  • Application Software
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Construction
  • Control Systems
  • Height
  • High Level Languages
  • Language
  • Life Cycles
  • Object Code
  • Operating Systems
  • Programming Languages
  • Scheduling (Production)
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Modeling and Simulation
  • Computer Science.
  • Parallel and Distributed Computing.