aiT for V850 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 is widely independent of
the compiler and source code language used. This means no modification
of your toolchain or the system’s operational behavior and performance
is required.
Recently added features
- General improvements to the decoder. Better recognition of computed branches and calls.
- More precise cache and pipeline analysis.
- Improved results viewer that allows a more interactive exploration of analysis results.
- Improved visualization of infeasible routines and blocks.
- Infeasibility statistics in textual report.
- Improved function-pointer resolution.
- Improved precision by using sets of intervals.
- Improvements for analyses using the “additional start” annotation.
- Improved AIS wizard.
- Improved results viewer that allows a more interactive exploration of analysis results.
- Better usability of links to files in the Messages view.
- Color formatting of recursions and routines inside a strongly connected component.
- Improved loop type and bound detection.
- Improved instructions for possible call targets of computed calls.
- Value analysis warns about conflicting register modifying annotations.
- Improved detection of computed branch and call targets by iterative decoding.
- Expected WCET can be directly specified to be checked against computed WCET.
- Improved error messages and warnings.
- Call string length can be restricted.
- Improved annotation help.
- Cache hit/miss statistics visualized on WCET path.
- Customizable XML reports.
- Duration and memory consumption are reported for each analysis step.
- Tabular overview of functions’ stack contribution.
- Interactive value analysis filters infeasible contexts.
- Choosing register mode for the Greenhills compiler.
- Performance improvements to WCET graph visualization.
- Improved reporting of assertion violations in value analysis.
- Reduced memory consumption and increased analysis speed by up to 20–50%.
- Support for DWARF1 debug info.
- Many improvements to the usability of the user interface.
Supported compilers
- Greenhills C/C++ optimizing compiler (C source code)
Supported processor derivates
- V850E/PHO3 (revisions PD70F3441 and PD70F3483)
- V850E/FK3-H (revision PD70F3469)
- V850E2/Fx4-H (revision PD70F3501F1, umbrella emulation device)
- VFOREST (revisions PD76F0134, PD76F0197, PD76F0198, PD76F0199)
- FOREST (revisions PD70F3407, PD70F3409, PD70F3410, PD70F3429, PD70F3431)
System requirements
- 32-bit Windows (7, Vista, XP SP2), 64-bit Windows (7, Vista), 32-bit and 64-bit Linux
- 1 GB RAM (4 GB RAM recommended)
- 500 MB disk space