Deploying Linux in Safety Critical Applications - Three Key Challenges

Explore the challenges of deploying Linux in safety-critical applications through this 38-minute conference talk by Christopher Temple from Arm Germany GmbH. Delve into key topics such as safety versus conformance, safety integrity, and timing mitigation models. Learn about hardware and application contexts, OS interference, and various strategies for enhancing safety, including OS selection, hardening techniques, and correct-by-construction testing. Examine the concept of Safety Element out of Context (SEOOC) and its integration challenges. Gain valuable insights into balancing safety requirements with Linux deployment in critical systems.

Intro
Safety versus Conformance
Safety versus Safety Integrity
A Simple Model - Timing Mitigation
A Simple Model - HW Context
A Simple Model – Application Context
A Simple Model - OS Interferend
Knob: Choice of OS
Knob: Hardening of OS
Knob: Correct by Construction Testing
Knob: Exploit Application Properties
Safety Element out of Context
SEOOC Integration Challenge
Conclusion