WCET Analysis at TU-Vienna

Tools

Calc_WCET_167

This is a static WCET analysis tool developed by Raimund Kirner at TU Vienna. For more details, please go to the Calc_WCET_167 home page.

FORTAS

The formal timing analysis suite (FORTAS) is one of the pioneer tools in measurement-based timing analysis. In contrast to static WCET analysis it is not necessary to create a timing model for the processor, as such a model is learned automatically by performing systematic execution time measurements with the application. This makes FORTAS (and other measurement-based timing analysis approaches) well-suited for early exploration of timing behavior in model-based development. For more information, please go to the FORTAS web page.

TUBound

TUBound is a static timing analysis tool that combines several individual tools in order to provide a high level of user convenience. TUBound includes source-level analsysis to extract flow information necessary to calculate a WCET bound automatically from the source code, thus significantly reducing the need for manual code annotations. Furthermore, TUBound is embedded into source-to-source and source-to-object-code program optimization phases, where flow information is updated automatically during these phases. Finally, Calc_WCET_167 (see above) is used as a WCET calculation backend. For more information, please go to the TUBound web page.

SCCP-Compiler

Structural code-coverage preservation (SCCP) is about ensuring that a test suite achieves the same code coverage metrics after a code transformation as it did before the code transformation. To ensure this, the compiler has to be aware of what structural code coverage metrics have to be preserved and applies only those code optimizations that guarantee the preservation of the requested coverage metrics. The SCCP-compiler helps to improve the confidence in measurement-based WCET estimation, such as FORTAS. For more information, please go to the SCCP-Compiler web page.