aiT for LEON3 factsheet

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

System requirements

Qualification support

We offer qualification support for various safety standards, including DO-178B level A and ISO 26262.