Skip to main content
View All Resources

Verification of Safety Designs – Freedom from Interference with Steffen Keul | #QtWS23

Abstract: Safe operation of any embedded device is enabled by a rigorous architectural design. In ISO26262 mixed-ASIL systems, the architecture needs to ensure freedom from interference among the safety-related partitions and between safety-related and QM partitions. After a safety architecture has been defined and verified, static analysis can (and should) be used to demonstrate compliance between implemented source code and this architecture. This presentation highlights one way to apply an architecture check for the aspect of freedom from interference.

About the Speaker: Steffen Keul studied Software Engineering at the University of Stuttgart and gained experience with static analysis during his post-graduate research on static analysis of concurrent systems. For four years, he worked in product management and pre-development of automotive basic software with a focus on functional safety according to ISO26262. In 2017, he joined Axivion's Solution Engineering team. In this role, he strives to find the perfect static code analysis solution for every customer project. Litteraatti

Oh, here is more

Strategies to Improve Software Quality Across the Development Lifecycle in 2026

Strategies to Improve Software Quality Across the Development Lifecycle in 2026

Software quality can no longer be an afterthought, it’s the foundation of innovation and customer tr...

Watch Video
Webinar: Leading into 2026: Insights for the Software-Defined Vehicle era

Webinar: Leading into 2026: Insights for the Software-Defined Vehicle era

The software-defined vehicle (SDV) era isn’t coming, it’s already here. But this shift is creating a...

Watch Video
Podcast: Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem?

Podcast: Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem?

Speed vs. Functional Safety in Automotive Software Development: Are OEMs Solving the Wrong Problem? ...

Watch Video
Pitfalls of Functional Testing of Java GUI Applications (and How to Overcome Them)

Pitfalls of Functional Testing of Java GUI Applications (and How to Overcome Them)

Functional testing of Java GUI applications remains a complex and often underestimated challenge. Fr...

Watch Video