aiT for TriCore statically computes tight bounds for the worst-case
execution time (WCET) of tasks in real-time systems. It directly analyzes
binary executables and takes 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
- TASKING C/C++ compiler
- GNU C/C++ compiler (GCC)
- HighTec GNU C/C++ compiler
- Diab C/C++ compiler (WindRiver)
- GHS C/C++ optimizing compiler (Green Hills)
Supported processor derivates
- AUDO family (core 1.3.x):
TC1197, TC1767, TC1782, TC1784, TC1796, TC1797
- AURIX family (core 1.6P/1.6E/1.6.1):
TC23x, TC26x, TC27x, TC29x
- AURIX family 2nd GEN (core 1.6.2P):
TC32x, TC33x, TC35x, TC36x, TC37x, TC38x, TC39x
System requirements
- Windows: 64-bit Windows 10 or newer
- 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
Integration with ASCET
aiT for TriCore supports tight integration with ASCET,
the state-of-the-art model-based ECU software development environment from ETAS.
You can start aiT directly from the ASCET project editor menu
to perform a WCET analysis of the automatically generated ECU code.
Free trial versions are available for TriCore microcontrollers with
the ERCOSEK or RTA-OSEK operating systems.