How to Qualify a Safe Linux Distribution for Automotive Use - DevConf.CZ 2023

Explore the process of qualifying a safe Linux distribution for automotive use in this DevConf.CZ 2023 conference talk. Delve into the Red Hat In-Vehicle Operating System (RHIVOS), an OSTree variant of RHEL designed with enhanced safety measures for Functional Safety Certification. Learn about the V&V strategy incorporating ISO26262 techniques, the use of Polarion for requirements and test asset management, and the unique approach to Manpage-derived requirements testing. Discover how automated workflows and existing RHEL tests are leveraged to scale across APIs in the safety scope. Gain insights into identifying test coverage gaps, ensuring freedom from interference, and managing requirements changes. Understand the importance of code coverage, dependent failure analysis, and traceability in developing safe automotive operating systems.

Intro
Agenda
Overview of Red Hat In-Vehicle Operating System
Automotive Safety Integrity Levels
Red Hat In-Vehicle Operating System Test Strategy
Requirements Testing
Importance of Code Coverage in Functional Safety Systems
Code Coverage Workflows
Freedom From Interference
DFA: Dependent Failure Analysis
FMEA: Inductive Analysis
Process Aspect
Workflow of deriving Requirements and Assumptions/Conditions of Use
Detection and Handling impact of Manpage changes on requirements
Requirements Changes Management-Generic Workflow
Traceability