Program timing analysis

Roderick Chapman

Dependable Computing Systems Centre
University of York
Heslington
York, Y01 5DD
email: [email protected]

May 31, 1994

ABSTRACT

This report is submitted as a first year qualifying dissertation. The field of program timing analysis is surveyed in detail. The review includes details of relevant static analysis techniques, high-level program analysis, low-level timing analysis, and example languages and tools. Each of the techniques used in timing analysis is considered in detail, followed by a look at six contemporary tools ? the strengths and weaknesses of these are highlighted. From these conclusions, a plan for future research is proposed. Finally, the Ada language and the SPARK system are also considered.