AbsInt aiT WCET
online Workshop

Learn how to use the AbsInt aiT Worst Case Execution Time (WCET) static analysis tool to determine accurate and tight upper bounds of execution times.

Write your awesome label here.

AbsInt aiT WCET analyzer workshop,

aiT WCET Analyzer statically computes tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. aiT directly analyzes the binary executables and takes the intrinsic cache and pipeline behavior into account to produce the most precise timing models possible.

This course provides comprehensive coverage of Static Analysis and Abstract Interpretation and the design and usage of the aiT WCET static analyzer.  Learn to get the most accurate WCET possible with mathematical certainty.

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 WCET analyses
  •     Investigate and review findings
  •     Automate analyses and integrate them into the development process
  •     Deeper understand state-of-the-art static program analysis
  •     Write safer, more robust C code
 

Structure:

Online Zoom Training
10 students max

Scope:

4 Hours per module.
6 Sessions
24 hours total training

Detailed Agenda:

1st Session (4h):
  1. Timing Analysis Overview
  2. Static Program Analysis Methods and Abstract Interpretation
  3. aiT Tool Architecture
  4. Basic Usage of the a3 GUI
2nd Session (4h):
  4. Basic Usage of the a3 GUI (contd.)
  5. Sources Files in the a3 Tool
  6. Target Processor Configuration in aiT
3rd Session (4h):
  7. Execution Contexts
  8. Loop Transformation and Loop Contexts
  9. Basic AIS2 Annotations
     9.1 Selecting the Analysis Scope
     9.2 Excluding Code Snippets
4th Session (4h):
  9. Basic AIS2 Annotations
     9.3 Indirect Calls (Function Pointers) and Branches
     9.4 Recursions
     9.5 Loop Bound Annotations
5th Session (4h):
  10. Source Code Annotations
  11. aiT Pipeline State Visualization
  12. Interactive Value Analysis
  13. AIS Expressions
  14. Improving Precision of Calculated WCET Result
6th Session (4h):
  14. Improving Precision of Calculated WCET Result (ctd.)
  15. Miscellaneous
     15.1 a3 Batch Mode
     15.2 Result Combination
  16. Tool Qualification
  17. Conclusion
Write your awesome label here.

Created by

Martin Sicks

Martin Sicks, born in 1969, completed his diploma in computer science (comparable to a master's degree in computer science today) at the Saarland University in 1997. He graduated with the work "Adreßbestimmung zur Vorhersage des Verhaltens von Daten-Caches"
(Address Determination to Predict the Behavior of Data Caches).

Martin joined AbsInt right after the end of his studies and now holds the position of a Senior Technical Consultant. He also conducts trainings and evaluations of AbsInt's binary analyzers.