aiT for M68020 statically computes tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. It directly analyzes binary executables and takes the intrinsic cache and pipeline behavior into account.
Key benefits
- aiT-computed bounds are extremely tight and thus reflect the actual performance of your system. Ensuring deadline adherence is not done at the expense of hardware resources.
- aiT-computed bounds are valid for all inputs and each execution of a task. Extensive timing testing is a thing of the past.
- aiT directly analyzes binary executables. It requires no modification of your system’s operational behavior or performance, and no modification of your toolchain.
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, DO-178C, IEC-61508, EN-50128, IEC-60880, and other safety standards. Qualification Support Kits are available that simplify and automate the qualification process.
