aiT for Am486 statically computes tight upper bounds for the worst-case execution time of tasks in real-time systems. It directly analyzes binary executables and takes the intrinsic cache and pipeline behavior into account.
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.
Also available for Am486
Supported processor derivates
- Enhanced Am486 DX processors
- Write-back enhanced IntelDX4
Supported compilers
- CAD-UL tool suite C/C++ compiler for x86 (protected mode)
Recent improvements
- Support for TargetLink 5.0 and 5.1
- Two additional qualification test case
- See the complete release notes
- Improved handling of memory-access errors
- Two additional qualification test case
- See the complete release notes
- Improved automatic switch-table decoding
- Relaxed restrictions for assignments to segment registers
- Improved handling of expand-down segments
- See the complete release notes
- WCET snippet-based validation
- Faster value analysis
- One additional qualification test case
- See the complete release notes
- Bus jitter is now kept concrete to improve analysis precision
- Optimized Qualification Support Kits
- See the complete release notes
- Even faster cache and pipeline analysis
- Improved memory usage of the path analysis
- See the complete release notes
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
