aiT Features:

• Visualization of the analysis results providing detailed information about key timing aspects, e.g. the worst-case path or the machine state at any given program point.
• Various statistics, interactive tables, graphs and charts that let you quickly identify bottlenecks and other areas of interest.
• Analysis report files for documentation and certification purposes, as well as for integration with numerous software development tools.
• Qualification Support Kits are available providing support for automatic tool qualification up to the highest criticality levels (DO-178B, DO-178C, ISO26262, IEC 61508, EN 50128).
• Interprocedural analysis enables cache and pipeline behavior to be precisely predicted.
• The analyzer can be run in batch mode, enabling seamless continuous verification.
• 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 XMLbased 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.