YoVDO

Is Linux Kernel Development Suitable for Safety-Critical Systems? - Progress and Methods

Offered By: Linux Foundation via YouTube

Tags

Linux Kernel Development Courses Software Architecture Courses Source Code Analysis Courses Safety-Critical Systems Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 - Oxford
Alan 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