aiT WCET Analyzer for C28x 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 TMS320F28x processors.
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
- TMS320F2801x
- TMS320F2802
- TMS320F2806
- TMS320F2808
- TMS320F2809
- TMS320F2810
- TMS320F2811
- TMS320F2812
- NEW: TMS320F28035
- NEW: TMS320F28335
- NEW: TMS320F28069
Timing profiling from day one
If you haven’t yet settled for a specific
derivate — or if the final decision 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 C28x that 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 C28x
Supported compilers
- Texas Instruments C/C++ compiler
Qualification support
Your usage of aiT for C28x 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.
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
Free trial
You can try aiT for free, on your own applications, for a period of 30 days.
The free license covers:
- 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
Get started today