aiT for LEON2 statically computes tight upper bounds for the worst-case execution time 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 valid for all inputs and each execution of a task. Extensive timing testing is a thing of the past.
- 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 directly analyzes binary executables. It requires no modification of your system’s operational behavior or performance, and no modification of your toolchain.
Supported processor derivates
- LEON2
Supported compilers
- GNU C/C++ Compiler (GCC)
- AdaCore GNAT Pro compiler (C, C++, and Ada source code)
- LLVM/Clang based SPARC compilers
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
Latest improvements
- Release 21.10:
- Improved automatic switch table decoding
- Release 20.10:
- Improved iterative decoding
- Improved decoding of
JMPL+RETTpairs - Improved register dependency handling for save/restore/rett
Qualification support
Your usage of aiT for LEON2 can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer Qualification Support Kits that help you simplify and automate your qualification process.
Free trial
You can try aiT for free, on your own applications, for a period of 30 days. Your free-trial package includes online training and tech support.
