aiT for ARM factsheet

aiT for ARM 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

Supported compilers

The standard license only covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.

Supported processor derivates





For Cortex-A53, you can try TimeWeaver instead. For other derivates, contact us.

The standard license only covers one derivate of your choice. Additional derivates can be unlocked for a surcharge.

System requirements

Independent reviews

Qualification support

Your usage of aiT for ARM can be qualified according to ISO 26262, DO-178B, DO-178C, IEC-61508, EN-50128, IEC-60880, and other safety standards. Qualification Support Kits are available that simplify and automate the qualification process.