Safety Critical Software - Would You Let Linux Drive Your Car
Offered By: Linux Plumbers Conference via YouTube
Course Description
Overview
Explore the intersection of Linux and safety-critical systems in this thought-provoking conference talk. Delve into traditional approaches for designing, writing, and testing life-dependent software and contrast them with the Linux ecosystem's practices. Examine the reliability demonstrated by Linux's widespread deployments and consider its potential for use in safety-critical applications. Engage with the speaker's analysis of whether the Linux community should resist or embrace this challenge. Gain insights into the future of Linux in high-stakes environments and the implications for software development practices.
Syllabus
Safety critical software: Would you let Linux drive your car? - David VomLehn, Consultant
Taught by
Linux Plumbers Conference
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