aiT WCET Analyzer by AbsInt GmbH

Software Validation and Verification

Product Description

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-computed bounds are extremely tight and thus reflect the ac­tu­al performance of your system. Ensuring deadline adherence is not done at the expense of hardware re­sources.
• aiT-computed bounds are valid for all inputs and each execution of a task. Extensive timing testing is a thing of the past.

Qualification Support Kits are available that simplify the qualification process for DO-178B level A and ISO 26262.

aiT WCET Analyzer

Market Segment(s)

• Embedded

ARM Processor(s)

• Cortex-M3

 Contact Us