aiT automatically computes tight upper bounds for the worst-case execution time of tasks in real-time systems. It directly analyzes binary executables and takes cache and pipeline behavior into account. No testing or measuring is necessary, the analysis results hold for all inputs and execution scenarios. Special kits simplify the qualification for DO-178C, ISO 26262, and other safety standards.
- Visualization of the call and control flow graph of the application. The illustration shows the critical path and the contribution of each function to the overall worst-case execution time. Developers can quickly identify those program parts relevant for optimizing worst-case timing behavior.
- Visualization of the machine states at different program points. Developers get an in-depth analysis of the reason of performance effects which provides valuable hints for timing optimization.
- Qualification Support Kits are available providing support for automatic tool qualification up to the highest criticality levels (e.g. wrt. DO-178B, ISO26262, IEC-61508, EN-50128).
- Support for sophisticated hardware components, like superscalar, out-of-order execution pipelines, branch prediction units, instruction and data caches, etc.
- Flexible annotation mechanism. Developers can provide programmer-specific knowledge to aiT to further improve the analysis precision.
- aiT can be coupled with model-based code generators and system-level scheduling tools via an open XML-based interface to provide timing information in the development phase.
- Graphical comparison of different analysis runs. Developers can quickly understand the effect of program modifications on worst-case timing.