Unlocking Static Analysis

JOIN US FOR A DEEP TECHNICAL DIVE WITH DANIEL KÄSTNER, CTO AND CO-FOUNDER OF ABSINT.

THIS HAND-ON SESSION FOCUSES ON CURRENT SOFTWARE DEVELOPMENT CHALLENGES AND THE CONTRIBUTIONS OF STATIC ANALYSIS IN ADDRESSING THOSE CHALLENGES. THE TOPICS WE HIGHLIGHT INCLUDE SATISFYING INCREASINGLY STRICT CYBERSECURITY AND SAFETY REQUIREMENTS, SOFTWARE DEVELOPMENT WITH HIGHLY AUTOMATED DEVOPS PIPELINES, AND PROGRAMMING WITH AI COPILOTS. WHETHER YOU'RE JUST STARTING WITH STATIC ANALYSIS OR WORKING ON CERTIFICATION-DRIVEN PROJECTS, THIS SESSION WILL GIVE YOU PRACTICAL INSIGHTS INTO SATISFYING EVOLVING SAFETY AND SECURITY REQUIREMENTS AND MAKING YOUR CODE MORE ROBUST, ANALYZABLE, AND COMPLIANT.

SEPTEMBER 25TH, FROM 9:00 AM TO 12:00 PM
ROCHESTER ROYAL PARK HOTEL, MICHIGAN

Register

Detailed Agenda

General Introduction

Foundations of static analysis and abstract interpretation

Updates on security standards and regulations: ISO 21434, CRA, CISA Alerts, DO-356A

Updates on safety standards: ISO 26262, IEC 61508, AMC/AC 20-193

Memory safety, Rust, and C/C++

Static/hybrid Worst-case execution time analysis

Static worst-case stack usage analysis

Static runtime error analysis

Static application security testing (SAST)

Automating static analysis tools

Qualifying static analysis tools

Integration into the ecosystem: SDV, CI/CD, Co-pilots, and more

Learn to prove absence of runtime errors with Astrée

Ensure compliance with MISRA, CWE, AUTOSAR, and safety/security standards

Compute stack and execution time bounds to prevent resource exhaustion

Prevent cybersecurity vulnerabilities by sound static application security testing (SAST) tools

Boost safety-critical DevOps workflows with integrated AbsInt toolchain

Support AI copilot tools by automated static analysis

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

Royal Park Hotel, Rochester, Michigan

We will meet at the Royal Park Hotel, a place that evokes the feel of an elegant English manor home. In the heart of hip & historic downtown Rochester, Michigan, just minutes away from Auburn Hills and Detroit.

Unlocking Static Analysis

Join us for a deep technical dive with Daniel Kästner, CTO and Co-Founder of AbsInt.

Register

Ready to join the course? Fill out the form!

EMBEDDED IS EVERYWHERE