aiT for M68020 statically computes tight 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.
Key benefits
- The static analysis guarantees that the computed WCET bounds are valid for all possible inputs, all possible cache and pipeline states, and each task execution under any circumstances. With that, extensive timing testing is a thing of the past.
- aiT directly analyzes binary executables, exactly as they are executed in the final system. This 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.
Supported processor derivates
- 68020 with one 68882 coprocessor
- ColdFire MCF5307
For other derivates, we recommend using TimingProfiler. Contact support@absint.com with any questions.
Supported compilers
- HP 68000 compiler, C or Ada source code
- XD Ada compiler (EDS)
- GNU C/C++ Compiler (GCC)
- Diab C/C++ compiler (Wind River)
- Microtec C compiler (Siemens)
System requirements
- Windows: 64-bit Windows 10 or newer
- 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
Qualification support
Your usage of aiT for M68020 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.
Free trial
You can try aiT for free, on your own applications, for a period of 30 days. Your free-trial package includes online training and tech support.
