Astree Training Course Overview
Source Code Level Tool

This course is a deep dive into static analysis of safety-critical applications.

It provides comprehensive coverage of Static Analysis and Abstract
Interpretation, the design and usage of the static analyzer Astrée which aims to formally prove the absence of runtime errors and data races. It also covers the RuleChecker module to check coding guidelines and compute code metrics. The course features practical exercises with the tool concluding each topic.

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 Astrée 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

 Detailed Agenda:

1. General Introduction

2. Foundations of Static Analysis and Abstract Interpretation

3. Checking Coding Guidelines

4. Astrée Key Concepts: The Sound Analyzer

5. The Static Analysis Ecosystem

6. Efficiently Working with Astrée and RuleChecker

7. Modeling the Environment

8. Data Races and Deadlocks

9. Minimizing False Alarm Rate

10. Model-based Code Analysis

11. Automating Astrée Analyses

Number of training days for Astree: 3 Days.

Price per day or 8 hours.

On-site- Online, North America Location.  

If you would like pricing, for the training class please call 613-215-3252.

aiT WCET, TimeWeaver, StackAnalyzer

Training Course Overview

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.

Detailed Agenda:

1. Timing and Stack Usage Analysis Overview
2. Introduction to Static Program Analysis and Abstract Interpretation
3. aiT/StackAnalyzer Tool Architecture
4. Basic Usage of the a³ GUI
5. Source Files in the a³ GUI
6. Target Processor Configuration
7. Contexts and Loop Transformation
8. Basic AIS2-Annotations
a. Selecting the Analysis Scope and Excluding Code Snippets
b. Function Pointer Calls and Indirect Branches
c. Recursions
d. Loop Bounds
9. Source Code Annotations
10. Pipeline State Visualization
11. Interactive Value Analysis
12. AIS2 Expressions
13. Improving the Precision of the Calculated WCET/Stack Result
14. Miscellaneous
a. a³ Batch Mode Execution and Jenkins CI
b. Result Combination
15. Tool Qualification
16. Conclusion

Number of training days for aiT or combined aiT/StackAnalyzer Training: 3 Days

Number of training days for StackAnalyzer Training: 2/5 Days

Hours per day: 8 hours

On-site- Online, North America Location

If you would like pricing, for the training class please call 613-215-3252.