Explore the safety and reliability of Linux kernel development for critical systems in this insightful conference talk. Delve into the OSADL SIL2LinuxMP project's findings on using Linux as a safety element in safety-related systems. Learn about functional safety standards, methods for assessing non-safety-oriented software, and the challenges of implementing operating systems in safety-critical environments. Discover innovative approaches like hazard-driven decomposition, design, and assurance-driven selection. Gain surprising insights into the quality assessment of the Linux kernel development process and understand the importance of community engagement for long-term maintainability. Examine the potential risks, analysis techniques, and improvement strategies for using Linux in safety-critical applications, including autonomous driving systems.
Is Linux Kernel Development Suitable for Safety-Critical Systems? - Progress and Methods
Overview
Syllabus
Introduction
Linux MP Project
Overview
Functional Safety
System Architecture
Notable Facts
How can the Linux kernel cause physical injury
How to assess an operating system
What is HD3
Assurance driven selection
Software architecture
Safety critical applications
Analysis of the kernel
Source code analysis
Statistical Prediction Models
Counter Arguments
Improving the Linux Kernel
Activities for Critical Systems
Safety Critical Systems
Kernel Analysis
Taught by
Linux Foundation
