THIS COURSE IS A DEEP DIVE INTO STATIC ANALYSIS OF SAFETY-CRITICAL APPLICATIONS.THIS COURSE 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 FOR EACH TOPIC.

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

STRUCTURE:

3 DAYS & 8 HOUR DAY

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