Static WCET analysis for MPC5xx

aiT WCET Analyzer for MPC5xx statically computes tight bounds for the worst-case execution time of tasks in safety-critical applications written or generated in C, C++ or Ada and compiled to run on MPC5xx processors.

Key benefits

• The static analysis guarantees that the computed WCET bounds are valid for all possible inputs, all possible cache and pipeline states, and each task execution under any circumstances. With that, extensive timing 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.
• aiT-computed bounds are extremely tight and thus reflect the ac­tu­al performance of your system. Deadline adherence is ensured without wasting hardware re­sources.
• aiT lets you easily save and compare the analysis results before and after making changes to your system, such that their effect on the worst-case timing can be understood immediately and completely.
• Using aiT is essential in meeting current safety standards such as ISO 26262 and DO-178B/C, where static WCET analysis is part of the architec­tural safety requirements.

Supported processor derivates

• PowerPC MPC555
• PowerPC MPC561
• PowerPC MPC562
• PowerPC MPC563
• PowerPC MPC564
• PowerPC MPC565
• PowerPC MPC566

Supported compilers

• Diab compiler from Wind River (C, C++, and Ada source code)
• GHS compiler from Green Hills (C, C++, and Ada source code)
• AdaCore GNAT Pro compiler (C, C++, and Ada source code)
• The formally verified CompCert compiler
• GNU C/C++ Compiler (GCC)
• HighTec GNU C/C++ Compiler
• CodeWarrior from Freescale/NXP
• SCORE compiler from DDC-I

The standard license covers one compiler of your choice. Additional compilers can be unlocked for a surcharge.

System requirements

• Windows: 64-bit Windows 10 or 11
• Linux: 64-bit CentOS/RHEL 7 or compatible
• 4 GB of RAM (16 GB recommended)
• 4 GB of disk space
• The Linux version requires the libxcb-* family of libraries to be installed
• Support for macOS High Sierra 10.13 or newer is possible on request for a surcharge

Qualification support

Your usage of aiT for MPC5xx can be qualified according to ISO 26262, DO-178B, DO-178C, IEC-61508, EN-50128, IEC-60880, and other safety standards. Qualification Support Kits are available that simplify and automate the qualification process.

Integration with SCADE

For MPC555 and MPC565, aiT is also available as an integral part of the SCADE Suite, the market-leading mission and safety-critical embedded soft­ware devel­opment environ­ment from ANSYS.

Independent reviews

• WCET Tool Challenge 2006 (MPC565)