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:
TimeBounder 2 from FormalWorks. Site mostly in Chinese.
Academic WCET tools:
Hybrid (measurement-based) WCET tools:
Static analysis (model-based) WCET tools:
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).