Get 20% off all career paths from fullstack to AI
AI Engineer - Learn how to integrate AI into software applications
Overview
AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
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.
Syllabus
Verification of Safety Designs – Freedom from Interference with Steffen Keul | #QtWS23
Taught by
Qt Group