aiT for C16x/ST10 statically computes tight upper bounds for the worst-case execution time of tasks in safety-critical applications written or generated in C or C++ and compiled to run on C16x processors from Infineon or STMicroelectronics.
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
- C164CI-8EM/-8E25M
- C165UTAH-LF
- C167: C167CR-LM, C167CS-LM, C167CS-L40M
- ST10: ST10F269, ST10F276
- XC167: XC167CI-32F40F
- XC2000: XC2387A-104F80L, XC2387A-72F80L, XC2365A-104F80L
The standard license covers one derivate of your choice. Additional derivates can be unlocked for a surcharge.
Supported compilers
- Tasking C/C++ compiler
- Keil C/C++ compiler
The standard license covers one compiler of your choice. Unlocking both compilers is possible at a surcharge.
Also available for C16x/ST10
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
- Review by Mälardalen University on Volvo code (C16x)
- Tests with ETAS’ ASCET (ST10)
- WCET Tool Challenge 2006 (C16x)
Recent improvements
- Two additional qualification test cases
- See the complete release notes
- Improved resolving of C++ virtual member function calls
- Two additional qualification test cases
- See the complete release notes
- One additional qualification test case
- See the complete release notes
- Faster loop analysis
- Seven additional qualification test cases
- See the complete release notes
- TLS-encrypted network connections
- One additional qualification test case
- See the complete release notes
- Even faster cache and pipeline analysis
- See the complete release notes
Qualification support
Your usage of aiT for C16x/ST10 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 help you simplify and automate your qualification process:
- Base QSK
- Optional compiler-specific add-on QSKs for
- Tasking 8.8r1
- Tasking VX 2.4r1
Additional compiler-specific QSKs can be developed on request.
Free trial
You can try aiT for free, on your own applications, for a period of 30 days. The free license covers:
- One supported target processor 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
