Hybrid worst-case timing analysis

TimeWeaver combines static path analysis with timing measurements to provide worst-case execution time estimates.

TimeWeaver screenshot
TimeWeaver screenshot

The tool estimates the worst-case execution time (WCET) of tasks based on the exe­cution time of trace segments obtained from real-time instruction-level tracing. The computed time bounds are valuable for soft real-time systems and provide feedback for optimizing worst-case performance.

Your benefits

Workflow

TimeWeaver takes as input:

  1. a binary executable
  2. execution traces,
    e.g. BHM traces compliant to the IEEE-ISTO 5001 standard
  3. optional user annotations,
    e.g. on loop bounds, in the same format as other AbsInt analyzers such as aiT, TimingProfiler, or StackAnalyzer

TimeWeaver then provides a safe upper bound of the length of the longest execution path, based on the local time measurements in the traces.

Features

The analysis results reported by TimeWeaver include:

TimeWeaver offers the same powerful user interface you are used to from working with other AbsInt tools, with fully integrated graphical and textual viewers for control flow, analysis results, source code, assembly code, and configuration files. You can:

Supported architectures and trace formats

Supported compilers

ARM ARM Developer Suite C/C++ CompCert GCC GNU C++ Green Hills MULTI C/C++ IAR C/C++ Keil MDK-ARM C/C++ LLVM/Clang-based, e.g. HighTec Tasking C/C++ Texas Instruments C/C++ Wind River Diab C/C++
TriCore GCC GNU C++ HighTec GNU C/C++ Tasking C/C++ Wind River Diab C/C++
PowerPC AdaCore GNAT Pro C/C++/Ada CodeWarrior C/C++ CompCert Green Hills C/C++/Ada GCC GNU C++ HighTec GNU C/C++ Wind River Diab C/C++
ColdFire GCC GNU C++ HP 68000 C/Ada Microtec C Wind River Diab C/C++ XD Ada
V850/RH850 Green Hills C/C++/Ada Renesas CS+ Wind River Diab C/C++

Free 30-day trial

Request your free trial package today, complete with free training and support.