ELISA Status and Outlook: Advancing Open Source Safety-Critical Systems
summary
ELISA presents concrete artifacts to help certify Linux-based systems: workload tracing and call-tree visualization run on kernel level, static code checks and STPA process guidance are documented, and SBOM generation is integrated into GitLab CI with daily builds and weekly SSTATE refreshes. Reproducible examples include an automotive instrument-cluster warning-sign demo in QEMU and a medical open APS Raspberry Pi setup; a Xen+AGL reference on real hardware is underway. The project does not certify Linux but delivers tools and upstreamed documentation so integrators can reduce certification effort.
AI-written summary · about
chapters (10)
- 0:00Introduction
- 3:07Linux in safety-critical systems
- 5:57ELISA mission and limits
- 8:26ELISA working groups
- 13:00Use cases and context
- 15:48Automotive use case
- 18:58Medical device use case
- 21:51Upcoming webinars
- 23:14Berlin workshop outcomes
- 27:51Q&A
related talks
48mThe ELISA Project – Enabling Open Source in Safety-Critical Applications- 48mThe ELISA Project – Enabling Open Source in Safety-Critical Applications
32mDeveloping Open Source for Safety and Security
40mBOF: Open Source Projects in Safety Critical Applications
34mOpen Source in Safety Critical Applications: the Next Frontier
25mBad Behaviour: Automating System-level Safety Testing Using Open Source Tools
36mAligning Automotive Standards with Open Source Excellence
05mKeynote: Evolution of Open Source for Safe Usage in Critical Systems