aiT for LEON2 factsheet

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