Enabling Linux in Safety-Critical Applications
summary
ELISA defines reusable elements, processes and tools so companies can argue safety for Linux-based systems: a reference system prototype (manual Xen + RT showcase, moving to automated builds), workgroups that map kernel subsystems to hazards, and a open source engineering process using STPA, code checkers and Scalar to improve patches and docs. Concrete use cases: OpenAPS on Raspberry Pi for insulin closed-loop, and an automotive Telltale demo with ~200–500 ms timing budget. Tool qualification examples (Raffia, Qt renderer) inform next steps.
AI-written summary · about
chapters (15)
- 0:00Enabling Linux in safety systems
- 1:47Safety standards and Linux challenges
- 3:11Elisa project mission
- 5:23Responsibilities for Linux safety
- 7:09Technical strategy and groups
- 10:22Linux features for safety
- 12:05Open source safety engineering
- 14:36Medical devices with OpenAPS
- 18:36Safety versus Linux development
- 18:56Automotive Telltale warning signs
- 22:05Systems group and architectures
- 24:55Collaboration with open source projects
- 27:44Aerospace and aviation use cases
- 28:47Engaging with Elisa project
- 30:11Q&A
related talks
44mPanel Discussion: Enabling Linux in Safety Applications
42mBoF: Safety + Open Source Software: Where it Started & Where It's Going
19mAutomotive Linux for RISC-V
40mBuilding Safe Systems with Linux
28mEnabling Linux Usage in Space Applications
42mDecoding Safe(ty) Linux Architectural Approaches for Critical Systems
52mCollaborate on Linux for Use in Safety-Critical Systems?
16mKeynote: Space Grade Linux: Building a Safer, Open Source Future for Space Systems