A Brief Overview of the KTA WCET Tool
This tool addresses timing analysis for embedded systems, but it is incremental as it builds on existing techniques and is limited to a specific architecture.
The paper presents KTA, a tool for worst-case execution time (WCET) analysis of program code, offering both fine-grained timing analysis and optimal WCET analysis using a hybrid divide-and-conquer and abstract interpretation method, currently implemented for a subset of MIPS.
KTA (KTH's timing analyzer) is a research tool for performing timing analysis of program code. The currently available toolchain can perform two different kinds of analyses: i) exhaustive fine-grained timing analysis, where timing information can be provided between arbitrary timing program points within a function, and ii) abstract search-based timing analysis, where the tool can perform optimal worst-case execution time (WCET) analysis. The latter is based on a technique that combines divide-and-conquer search and abstract interpretation. The tool is under development and currently supports a subset of the MIPS instruction set architecture.