The industry standard for static timing analysis.

aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.

aiT screenshot
aiT screenshot

The challenge

In real-time systems, timely task completion is of the essence. Each real-time task has to be completed within a specified time frame in order to ensure that the system works correctly. In other words, it is essential that the WCET of each task is known.

However, computing the WCET is a challenge:

Testing, in general, cannot show the absence of errors.”


The solution

aiT WCET Analyzers provide the solution to these problems: they statically analyze a task’s in­trinsic cache and pipeline behavior based on formal cache and pipeline mod­els. This enables correct and tight upper bounds to be computed for the worst-case execution time.

Airbus logo

aiT was designed in the IST project DAEDALUS according to the re­quirements of Airbus France for validating the timing behavior of crit­i­cal avionics software, including the flight control software of the A380, the world’s largest passenger aircraft.

The analyzers are based on the technique of abstract interpretation. A graphical user interface supports the visualization of the worst-case program path and the interactive inspection of all pipeline and cache states at arbitrary program points.

Your benefits

Timing analysis chart: aiT results vs. Volvo’s traditional method vs. measured WCET

Volvo’s traditional method
aiT analysis results
measured WCET

Seamless integration into your toolchain

aiT supports tight integration with many state-of-the-art development tools, including:

aiT can also be combined with other analysis tools from AbsInt (e.g. StackAnalyzer for stack usage analysis) in a single intuitive user interface called ał.

Supported processors and compilers

Supported targets

aiT is available for a growing number of target processors and compilers.

Qualification support

We offer special qualification support for aiT:

In the past, our QSKs and QSLCD Reports have been successfully used by leading corporations in their DO-178B qualification process, notably in the avionics industry.

aiT is also an integral part of the SCADE development environment, which is DO-178B qualified up to level A for Military and Aerospace Industries, IEC 61508 certified at SIL 3 by TÜV for Heavy Equipment and Energy, and EN 50128 certified at SIL 4 by TÜV for Rail Transportation.

Free trial

Request your free trial package today.