ABSINT

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 de­tected automatically by aiT, e.g. for dynamic program properties. Furthermore, the amount of required annotations is dramatically reduced by several advanced techniques such as auto­matic 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 infor­ma­tion 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