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