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

Supported processor derivates

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

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.