The WCET determination is composed of several different tasks:
- reconstruction of the control flow from binary executables,
- value analysis, cache analysis,
- pipeline analysis,
- path analysis,
- analysis of loops and recursive procedures.
The value analysis, the cache analysis, and the pipeline analysis are done by abstract interpretation, while path analysis is done by integer linear programming.
aiT takes as input the executable to be analyzed, the start address of the task to be analyzed, and optional user annotations (targets of indirect function calls, upper bounds on loop iteration counts, snippets that should not be analyzed, etc.).
aiT then outputs a tight upper bound of the task’s runtime, a visualization of the analysis results providing detailed information about key timing aspects, and an analysis report file that enables seamless integration with numerous software development tools. (Read more.)