Cross Industry Demands and Collaboration Opportunities
summary
Project teams present concrete deliverables: a Docker-based CI that builds images for a Kintex Hardware 102 board and QEMU, a GitLab repo at gitlab.com/ElisaTech with Yocto/AGL examples, and reproducible system artifacts tying kernel config, boot images and tests together. A new Delta kernel tool computes change-impact per specific kernel configuration. Work includes workload tracing and KSN static analysis, plus safety manuals that document what is verified versus what integrators must cover for certification. Continuous formal certification is rejected in favor of automated, traceable evidence.
AI-written summary · about
chapters (7)
- 0:00Cross-industry safety intro
- 3:29Functional safety standards
- 10:52Safety critical proof docs
- 17:51Open source safety challenges
- 23:39ELISA project goals
- 31:46Cross-project collaboration
- 37:24Summary and Q&A
related talks
38mSafe Systems with Linux
45mLooking at Linux as a SEooC
31mSponsored Session: Can We Do Better than Shipping 4 Year Old Software in Products?
48mThe ELISA Project – Enabling Open Source in Safety-Critical Applications
46mA Security State of Mind: Continuous Security with Kubernetes
21mFrom CVEs To Compliance: Automating Embedded Linux Kernel Security
38mSecure Software Delivery Within Untrusted Environments at Scale with EVE and K3s
01h 00mPanel Discussion: What is Lacking in Linux Security and What Are or Should We be Doing about This