Overview
aiT WCET Analyzers statically compute tight bounds for
the worst-case execution time (WCET) of tasks in realtime
systems. They directly analyze binary executables
and take the intrinsic cache and pipeline behavior into account.
Key benefits
- aiT-computed bounds are extremely tight
and thus reflect the actual performance of your system.
Ensuring deadline adherence is not done at the expense of hardware resources.
- aiT-computed bounds are valid for all inputs and
each execution of a task. Extensive timing testing is a thing of the past.
- aiT directly analyzes binary executables. It is widely independent of
the compiler and source code language used. This means no modification
of your toolchain or the system’s operational behavior and performance
is required.
Recently added features
- Improved results viewer that allows a more interactive exploration of analysis results.
- Improved visualization of infeasible routines and blocks.
- Infeasibility statistics in textual report.
- Improved function-pointer resolution.
- Improved precision by using sets of intervals.
- Duration and memory consumption are reported for each analysis step.
- Improved and configurable visualization of analysis messages.
- Tabular overview of functions’ stack contribution.
- Interactive value analysis filters infeasible contexts.
- Performance improvements to WCET graph visualization.
- Improved reporting of assertion violations in value analysis.
- Reduced memory consumption and increased analysis speed by up to 20–50%.
- Support for DWARF1 debug info.
- Improved precision of value analysis.
- Many improvements to the usability of the user interface.
Supported compilers
- Diab C compiler of Wind River (C and Ada source code)
- Green Hills compiler (C and Ada source code)
- GNU C Compiler (GCC)
Supported processor derivates
System requirements
- 32-bit Windows (7, Vista, XP SP2), 64-bit Windows (7, Vista), 32-bit and 64-bit Linux
- 1 GB RAM (4 GB RAM recommended)
- 500 MB disk space