AbsInt aiT WCET, TimeWeaver, StackAnalyzer Training Course

The aiT WCET Analyzer as well as StackAnalyzer are integrated into the a³ (AbsInt Advanced Analyzer) wrapper application.  StackAnalyzer automatically determines the worst-case stack usage of the tasks in an application, whereas aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems.

This course covers a short introduction into the theory behind the static program analysis and abstract interpretation.  It demonstrates the practical application of the tools to perform analyses of the worst case stack usage and execution time.  Special attention will be given to the possibilities of the AIS annotation language.

This course is aimed at software validation and verification engineers, QA engineers and developers of safety-critical code.  After completing this comprehensive training, you will have the necessary skills to:

• Set up your own stack and/or WCET analysis projects
• To interpret analysis results correctly
• To use the call- and control flow graph interactively for a better understanding of the results.
• Formulate the necessary annotations for
  + function pointers,
  + loop bounds and
  + recursive functions in order to get a correct analysis result.
• Lastly, to know how to develop additional annotations to gain a higher precision from the analysis results.

For detailed options and pricing, please request a quote.