aiT WCET Analyzer for e300 statically computes tight bounds for the worst-case
execution time of tasks in safety-critical applications
written or generated in C, C++ or Ada and compiled to run on
PowerPC processors with the e300 core.
Key benefits
- The static analysis guarantees that the computed WCET bounds are
valid for all possible inputs, all possible cache and pipeline states,
and each task execution under any circumstances. With that,
extensive timing testing is a thing of the past.
- aiT directly analyzes binary executables, exactly as they are
executed in the final system. This requires no modification
of your system’s operational behavior or performance,
and no modification of your toolchain.
- aiT-computed bounds are extremely tight
and thus reflect the actual performance of your system.
Deadline adherence is ensured without wasting hardware resources.
- aiT lets you easily save and compare the analysis results
before and after making changes to your system, such that their
effect on the worst-case timing can be understood immediately and completely.
- Using aiT is essential in meeting current safety standards
such as ISO 26262 and DO-178B/C, where static
WCET analysis is part of the architectural safety requirements.
Supported processor derivates
- PowerPC MGT5100
- PowerPC MPC5121e (on demand)
- PowerPC MPC5123 (on demand)
- PowerPC MPC5200
- PowerPC MPC603e core
- PowerPC MPC8240 (on demand)
- PowerPC MPC8241 (on demand)
- PowerPC MPC8245 (on demand)
- PowerPC MPC8247/MPC8248/MPC8271/MPC8272
- PowerPC MPC8250/MPC8255/MPC8260/MPC8264/MPC8265/MPC8266
- PowerPC MPC8270/MPC8275/MPC8280
- PowerPC MPC8349E
The standard license covers one derivate of your choice.
Additional derivates can be unlocked for a surcharge.
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.
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
Qualification support
aiT for e300 can be qualified according to ISO 26262, DO-178B/C, and other safety standards.
Qualification Support Kits are available that support and simplify
the qualification process.
Independent reviews
