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.
Supported compilers
- Diab compiler from Wind River (C, C++, and Ada source code)
- GHS compiler from Green Hills (C, C++, and Ada source code)
- AdaCore GNAT Pro compiler (C, C++, and Ada source code)
- The formally verified CompCert compiler
- GNU C/C++ Compiler (GCC)
- HighTec GNU C/C++ Compiler
- CodeWarrior from Freescale/NXP
- SCORE compiler from DDC-I
The standard license covers one compiler of your choice.
Additional compilers can be unlocked for a surcharge.
Supported processor derivates
- PowerPC MPC7448
- PowerPC MPC7447A
System requirements
- Windows: 64-bit Windows 10 or 11
- Linux: 64-bit CentOS/RHEL 7 or compatible
- 4 GB of RAM (16 GB recommended)
- 4 GB of disk space
- The Linux version requires the
libxcb-* family of libraries to be installed
- Support for macOS High Sierra 10.13 or newer is possible on request for a surcharge
