page 1  (56 pages)
2to next section

Program timing analysis

Roderick Chapman

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

May 31, 1994


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.