Verification of Safety Designs - Freedom from Interference in ISO26262 Mixed-ASIL Systems

Learn about verifying safety designs and ensuring freedom from interference in embedded systems through this technical conference talk from Qt World Summit 2023. Explore how ISO26262 mixed-ASIL systems require careful architectural design to maintain safety between different partitions. Discover practical approaches to using static analysis for demonstrating compliance between source code implementation and safety architecture. Gain insights from speaker Steffen Keul, who brings extensive experience in software engineering, static analysis of concurrent systems, and automotive basic software development with ISO26262 functional safety expertise. Follow along as he demonstrates effective methods for implementing architecture checks specifically focused on freedom from interference in safety-critical embedded systems.