Главная
Study mode:
on
1
Introduction
2
Linux MP Project
3
Overview
4
Functional Safety
5
System Architecture
6
Notable Facts
7
How can the Linux kernel cause physical injury
8
How to assess an operating system
9
What is HD3
10
Assurance driven selection
11
Software architecture
12
Safety critical applications
13
Analysis of the kernel
14
Source code analysis
15
Statistical Prediction Models
16
Counter Arguments
17
Improving the Linux Kernel
18
Activities for Critical Systems
19
Safety Critical Systems
20
Kernel Analysis
Description:
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

Linux Foundation
Add to list