A Path to Automotive Safety Certification for Open Source

Explore a systematic approach to automotive safety certification for open source software in this 30-minute conference talk by Paul Sherwood. Delve into the journey that began in 2016 with autonomous vehicles and Linux-based infotainment systems, addressing the scalability of safety in free and open-source software (FOSS). Examine the default paths through ISO 26262, the concept of "proven in use," and the development of a systematic method reviewed with Exida. Analyze safety considerations for Linux as a host for safety applications, including control structure, shared compositor access hazards, and loss scenarios for Automotive Grade Linux (AGL). Discover mitigation strategies and updated designs resulting from thorough safety analysis.

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