aiT automatically computes tight upper bounds for the worst-case execu­tion time of tasks in real-time systems. It direct­ly analyzes bina­ry execut­ables and takes cache and pipe­line behavior into account. No testing or measuring is necessary, the analysis results hold for all in­puts and execu­tion scena­rios. Special kits simpli­fy the quali­fica­tion for DO-178C, ISO 26262, and other safety stan­dards.

Features:

  • 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.