Is Linux Kernel Development Suitable for Safety-Critical Systems? - Progress and Methods
Offered By: Linux Foundation via YouTube
Course Description
Overview
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.
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
Tags
Related Courses
Safety and Robustness for Deep Learning with Provable Guarantees - Marta Kwiatkowska - OxfordAlan Turing Institute via YouTube Applicable and Achievable Formal Verification
USENIX via YouTube Hypervisor-less Virtio for Real-time and Safety
Linux Foundation via YouTube Collaborate on Linux for Use in Safety-Critical Systems
Linux Foundation via YouTube Learning to Control Safety-Critical Systems
Simons Institute via YouTube