aiT for MPC5xx 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.
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.
- Improved detection of computed branch and call targets by iterative decoding.
- Expected WCET can be directly specified to be checked against computed WCET.
- Improved error messages and warnings.
- Call string length can be restricted.
- Reduced the number of hardware and software restrictions.
- Improved annotation help.
- Simplified instruction set selection.
- Added support for XCOFF32 binaries.
- Improved handling of WindRiver tail call and code sharing optimizations.
- Auto-detect VLE sections in ELF binaries following EABI.
- Cache hit/miss statistics visualized on WCET path.
- Improved precision of PLRU cache analysis.
- Support for L1 instruction cache locking.
- Customizable XML reports.
- Duration and memory consumption are reported for each analysis step.
- 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
- PowerPC MPC555
- PowerPC MPC561
- PowerPC MPC562
- PowerPC MPC563
- PowerPC MPC564
- PowerPC MPC565
- PowerPC MPC566
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
Independent reviews
Qualification support
We offer qualification support for DO-178B level A and ISO 26262.