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.

StackAnalyzer screenshotQualification run results

aiT screenshotVisualization of cache and pipeline states

aiT screenshotTabular overview of the worst-case timing

aiT screenshotControl flow graph with WCET analysis results

aiT screenshotCall graph with WCET analysis results

The challenge

In real-time systems, timely task completion is of the essence. Each real-time task has to be completed within a certain 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 ab­sence of errors.”

DO-178B/C

Testing by itself is not suf­ficient.”

FDA

The solution

aiT WCET Analyzers provide the solution to these problems. Based on the technique of abstract interpretation and formal cache and pipeline mod­els, they statically analyze a task’s in­trinsic cache and pipeline behavior and compute correct and tight upper bounds for the worst-case execution time.

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. A command-line mode enables easy integration into automated build processes. Quali­fication for ISO 26262, DO-178B/C, and other standards is greatly simplified thanks to easy-to-use Qualification Support Kits.

Your benefits

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

Volvo’s traditional method for estimating WCET
aiT analysis results
measured WCET

Who uses aiT?

aiT was originally designed in close collaboration with Airbus France. For twenty years now, it’s been used at the Toulouse plant for vali­dating the timing behavior of crit­i­cal avionics software, including the flight control software of the A380.

Daimler uses aiT in many automotive software projects, including the powertrain control system of the Actros truck.

Vestas uses aiT for static analysis of their wind turbine control software.

OHB uses aiT in the development of software for geostationary communication satellites and satellite navigation.

MTU Friedrichshafen uses aiT to demonstrate the correctness of control software for emergency power generators in nuclear power plants.

The Technical University of Munich uses aiT in the development, testing and optimization of flight control and navigation algorithms.

aiT is used in computer-science courses by a number of German universities, e.g. in Dortmund, Hamburg, Bremen, Erlangen-Nuremberg, and Ulm.

NASA used aiT as an industry-standard static analysis tool for demonstrating the absence of timing-related software defects in the 2010 Toyota Unintended Acceleration Investigation.

A multitude of supported processors

aiT is available for a vast variety of target architectures, ranging from simple processors like ARM7 to complex superscalar processors with timing anomalies and domino effects like MPC755, and multi-core processors like AURIX TC27x.

For high-performance processors that are not statically predictable, we offer a hybrid solution that combines aiT’s comprehensive context-sensitive path analysis with non-intrusive real-time instruction-level tracing. This approach is compliant with CAST-32A and EASA AMC 20-193.

Seamless integration into your toolchain

aiT supports easy 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 the same user interface.

Qualification support

QSK icon

Your usage of aiT can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer special Qualification Support Kits that help you simplify and automate your qualification process. These Kits are especially popular with our customers in the avionics and automotive industries.

“aiT is very easy and straightforward to use”

“the best capabilities to resolve dynamic calls automatically”

“the most feature-complete tool”

“a clear winner in terms of additional functionality”

Comparison of WCET tools by the University of Stuttgart (PDF)

“able to handle every kind of benchmark and every test program”

WCET Tool Challenge 2006 final report (PDF)

“deals with almost all branches without further interaction”

WCET Tool Challenge 2011 final report (PDF)

“the best of its kind in the world”

DAEDALUS Project final report

Free 30-day trial

Request your free trial package today, complete with free training and support.