Empirical Study about Using aiT Tool in WCET Estimation

The determination of upper bounds of execution time (Worst-Case Execution Time -- WCET) of tasks is an importantstep in the development and validation of safety-critical hard real-time systems. Measurement based methods arenot considered safe and the static code analysis is know to be a difficult problem if the underling processorarchitecture uses cache memories, pipelines and speculative components. This article presents an empiric study ofthe aiT WCET tool, considered one of the best. There is a tool description, its methods and some analyzed testcode for the ARM7 processor.