The industry standard for static timing analysis.
aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.
For more info please visit: http://www.absint.com
aiT WCET Analyzers: Features
aiT takes as input:
- The executable to be analyzed.
- The start address of the task to be analyzed.
- A simple textual description of the memories and buses of your particular microprocessor model (i.e. a list of memory areas with minimum and maximum access times) along with its clock rate.
- Optional user annotations such as targets of indirect function calls, upper bounds on loop iteration counts, recursion depth, code snippets that should not be analyzed, infeasible code, etc.
- Annotations are only required if the information cannot be detected automatically by aiT, e.g. for dynamic program properties. Furthermore, the amount of required annotations is dramatically reduced by several advanced techniques such as automatic loop-bound and array-call recognition.
- Annotations for library functions (RT, communication) and RTOS functions can be provided by the respective developers either on source level or in separate files.
aiT outputs:
- A tight upper bound of the task’s runtime.
- Visualization of the analysis results providing detailed information about key timing aspects, e.g. the worst-case path or the machine state at any given program point. The visualization is generated by the award-winning aiSee graph visualization tool.
- An analysis report file, providing for seamless integration with numerous software development tools.
aiT WCET Analyzers: Supported Targets:
For more info please visit: http://www.absint.com