aiT WCET Analyzer for e200 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 PowerPC processors with an e200 core.
Your benefits
- The static analysis guarantees that the computed WCET bounds hold for all possible inputs, all possible cache and pipeline states, each task execution under any circumstances. No testing or measuring required.
- aiT directly analyzes binary executables, exactly as they are executed in the final system. It requires no modification of your system’s operational behavior or performance, and no modification of your toolchain.
- aiT-computed bounds are extremely tight and thus reflect the actual performance of your system. Deadline adherence is ensured without wasting hardware resources.
- 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 architectural safety requirements.
Key features
- Fast analysis of complex real-world software
- Dead code recognition
- GUI and command-line mode
- Customizable XML reports
- Integration with TargetLink and Jenkins
- Qualification Support Kits
Supported processor derivates
- PowerPC MPC5533
- PowerPC MPC5534
- PowerPC MPC5553
- PowerPC MPC5554
- PowerPC MPC5561
- PowerPC MPC5566
- PowerPC MPC5567
- PowerPC MPC5668G
- PowerPC MPC5674F
- PowerPC MPC5777C
- PowerPC MPC5777M
- ST SPC58NE84
- ST SPC58NN84
The standard license covers one derivate of your choice. Additional derivates can be unlocked for a surcharge.
MPC55xx, MPC56xx, and MPC57xx derivates that are not listed above but are able to emit Nexus program trace messages (IEEE-ISTO 5001, class 2 or higher) can be analyzed using TimeWeaver that combines aiT’s static path analysis with real-time instruction-level tracing. This hybrid approach is compliant with CAST-32A and EASA AMC 20-193.
Timing profiling from day one
In order to provide WCET guarantees, aiT formally models the exact processor derivate your application is executed on.
If you haven’t picked a specific PowerPC derivate yet — or if the final pick is not yours to make —, you can nonetheless benefit from static analysis to develop your application in a timing-conscious way, from day one.
For this, you can use the fully-integrated TimingProfiler. It will help you identify application parts that will cause unsatisfactory execution times regardless of the specific make of PowerPC you end up using.
Once the hardware has been decided on, you can then easily switch from TimingProfiler to aiT, within the same GUI, keeping all your settings and annotations, and without having to install anything.
Also available for PowerPC
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.
Qualification support
Your usage of aiT for e200 can be qualified according to ISO 26262, DO-178B/C, and other safety standards. We offer Qualification Support Kits that help you simplify and automate your qualification process:
- Base QSK
- Optional compiler-specific add-on QSKs for
- GCC 4.1.2
- DiabData 5.9.1.0
- DiabData 5.8.0.0p6
- GHS 2019.1.4
- GHS 2012.1
- SCORE 3.7.1
Compiler-specific QSKs for other compilers can be developed on request.
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
Independent reviews
Integration with SCADE
For MPC55xx, aiT is also available as an integral part of the SCADE Suite, the market-leading mission and safety-critical embedded software development environment from ANSYS.
SCADE provides a full suite of Model-Based Design (MBD) tools from formal graphical design capture and validation down to embedded C code generation for mission and safety-critical production use.
SCADE is the only MDB solution that is DO-178B and DO-178C 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
You can try aiT for free, on your own applications, for a period of 30 days. The free license covers:
- One supported PowerPC derivate of your choice
- Any number of supported compilers
- More than one physical machine if needed, but no VMs
- Windows, Linux, or both
- The ValueAnalyzer add-on, and also StackAnalyzer if you wish
- Free online training and tech support
