Static WCET analysis for C28x

aiT WCET Analyzer for C28x statically computes tight upper bounds for the worst-case execution time of tasks in safety-critical appli­cations written or generated in C or C++ and compiled to run on TMS320F28x processors.

Call graph with WCET analysis results

Your benefits

Key features

Supported processor derivates

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

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

Recent improvements

  • Four additional qualification test cases
  • See the complete release notes
  • Improved stack frame creation handling
  • Support for TargetLink 5.0 and 5.1
  • Two additional qualification test cases
  • See the complete release notes
  • Improved handling of memory-access errors
  • See the complete release notes
  • Improved automatic decoding of computed control-flow transitions
  • Improved switch-table decoding for the TI compiler
  • Eight additional qualification test cases
  • See the complete release notes
  • Improved decoding of C28x ELF binaries
  • Support for the extended instruction sets FINTDIV, TMU, FPU64, and VCRC
  • TLS-encrypted connection to the license manager
  • See the complete release notes
  • Even faster cache and pipeline analysis
  • Higher analysis precision for the xpread instruction
  • Improved handling of copy sections in COFF files
  • Improved automatic switch-table decoding
  • Board-specific QSK for TMS320F28335 (32-bit)
  • Compiler-specific QSK for TI 6.2.0
  • See the complete release notes

Free trial

You can try aiT for free, on your own applications, for a period of 30 days. The free license covers:

Get started today