WCET Tools

This page provides links to worst-case execution time analysis tools. If analysis using the RapiTime WCET tool does not fit your requirements, then it may be that one of the static timing analysis tools is of interest. These links are supplied for information purposes only and Rapita Systems does not warrant or endorse the information to which they lead.

Commercial WCET tools:

RapiTime Worst-Case Execution Time Analyzer from Rapita Systems.

Bound-T Execution Time Analyzer from Tidorum.

aiT Worst-Case Execution Time Analyzer from AbsInt.

TimeBounder 2 from FormalWorks. Site mostly in Chinese.

Academic WCET tools:

Hybrid (measurement-based) WCET tools:

pWCET developed as part of the Next TTA project.

Static analysis (model-based) WCET tools:

Calc_wcet_167 from the Real-Time Systems Group at the University of Vienna.

Chronos an open source static wcet analysis tool from the National University of Singapore.

Heptane from IRISA.

OTAWA, a framework of C++ classes dedicated to static analyses of programs in machine code and to the computation of WCET, from the Traces Research group on Architectures and Compilers for Embedded Systems at IRIT (Institut de Recherche en Informatique de Toulouse).

Potoroo (Probabilistic Temporal Analysis of Operating Systems Code) from NICTA.

SWEET (SWEdish Execution Time tool) from Malardalen Real-Time Research Centre.