Building Safe Systems with Linux

Explore the potential of Linux for building safe systems in this 40-minute conference talk by Nicholas McGuire from OpenTech. Delve into the challenges and methodologies developed through the OSADL's SIL2LinuxMP project to assess Linux's conformance to functional safety standards. Learn how to map safety standards to Linux's properties, capabilities, and limitations, and understand the approach to compliance in complex safety-related systems. Gain insights into system design, interpretation mapping, and certification processes for Linux-based safety systems. Discover why Linux is becoming a strong candidate for autonomous robotic systems and other high-assurance applications requiring both elaborate capabilities and a high level of safety.

Introduction
What standard to use
Domain standards
Compliance
Type A Systems
Linux for Safety
System Design
Interpretation Mapping
Extensions
Certification