Integrating Astrée in Keil Studio and Visual Studio Code

INTEGRATING STATIC ANALYSIS DIRECTLY INTO THE DEVELOPMENT WORKFLOW IS ESSENTIAL FOR IMPROVING SOFTWARE QUALITY WHILE MAINTAINING DEVELOPER PRODUCTIVITY. IN THIS WEBINAR, WE WILL DEMONSTRATE HOW ASTRÉE INTEGRATES SEAMLESSLY WITH ARM KEIL STUDIO AND VISUAL STUDIO CODE, ENABLING DEVELOPERS TO PERFORM SOUND STATIC ANALYSIS WITHOUT LEAVING THEIR FAMILIAR DEVELOPMENT ENVIRONMENT.

THE SESSION WILL COVER AUTOMATIC EXTRACTION OF BUILD CONFIGURATIONS AND COMPILER-SPECIFIC LANGUAGE SETTINGS, ANALYZE-AS-YOU-CODE WORKFLOWS, INSPECTION OF ASTRÉE FINDINGS DIRECTLY WITHIN VISUAL STUDIO CODE, AND THE USE OF AI COPILOTS TO EXPLAIN RESULTS AND SUGGEST POTENTIAL FIXES.

WEDNESDAY AUGUST 12TH AT 11:00AM EDT
MICROSOFT TEAMS

Register

Meet Your Instructor

Dr. Daniel Kästner

CTO and Co-Founder of AbsInt.

Dr. Kästner is a co-founder of AbsInt. From 2000 to 2003, he was a research associate at Saarland University and Senior Software Engineer with AbsInt. Since 2003, he is CTO at AbsInt. 2007 and 2012 he was a guest lecturer at Saarland University with advanced courses on the development of safety-critical embedded systems.

Dr. Kästner is a member of the ISO 26262 and IEC 61508 working groups on Software Safety, and a member of the MISRA C and MISRA SQM working groups.

ORGANIZERS

EMBEDDED IS EVERYWHERE