Overview
Syllabus
Intro
Where our path started: 2016 • Autonomous vehicles: Al workloads, preferably Linux • Is our infotainment work safety relevant? • Tieri: how do we scale safety - is there anything in FOSS? • OEM: "Can Linux be safety-certified?"
The default paths through ISO 26262 • Proven in use
Our first step... • Trustable software: input
Recent steps... • We developed a systematic method, discussed with customers, reviewed with Exida
Current step: Linux host for safety application
Safety analysis: Control structure
Example hazard: Shared compositor access Initial design
Example hazard: Loss scenarios for AGL
Mitigation: Nested compositor Updated design after analysis
Taught by
Linux Foundation