Skip to content

Cart

Your cart is empty

aiT

aiT WCET Analyzers statically compute tight upper 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 analyzes binary executables as they run in the final system, without altering system behavior, performance, or toolchain. Using aiT is essential in meeting current safety standards such as ISO 26262, DO-178B/C, IEC-61508 and EN-50128, where static WCET analysis is part of the architec­tural safety requirements

Supported targets for static WCET analysis:

Am486, ARM, C16x, C28x, C33x, ERC32, and more. See the full list here.


aiT
aiT Sale price$0.01

Your benefits

-The static analysis guarantees that the computed WCET bounds hold for all inputs and each execution under any circum­stances. Tedious testing is a thing of the past.

-aiT directly analyzes binary executables, exactly as they are executed in the final system. This requires no mod­i­fi­cation of your system’s operational behavior or performance, and no modification of your toolchain.

-The WCET bounds computed by aiT are extremely tight and thus reflect the ac­tu­al performance of your system. Deadline adherence is ensured without wasting hardware re­sources.

-Using aiT is essential in meeting current safety standards such as ISO 26262, DO-178B/C, IEC-61508 and EN-50128, where static WCET analysis is part of the architec­tural safety requirements.

Download PDF

WEBINAR

Accelerate Standards-Compliant Unit & Integration Testing for ISO 26262, IEC 61508, and DO-178C with Cantata

Learn More

Need help?

Frequently Asked Questions