ELISA Project

#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: hubs.la/Q034DvlX0.

How can software teams clearly separate user needs, requirements, design, and implementation? Join the ELISA Seminar on July 23 to explore the WHAT-WHY-HOW model with Stanislav Pankevich of Reflex Aerospace GmbH. Register: hubs.la/Q04p-fh_0

What is inside the binaries your team ships—and can they be traced back to their source? This blog explains how the Yocto Project supports SBOMs, SPDX, reproducible builds, static library tracking, and build traceability. hubs.ly/Q04pt-DX0

How can open source advance safety-critical systems? Join ELISA Project at Open Source Summit 2026 in Seoul, August 11–12, for sessions on AI-driven security, Linux in safety-critical domains, requirements traceability, SPDX, and SBOMs. Learn more: hubs.ly/Q04pvmvT0

How can teams keep user needs, requirements, design, and implementation clear and traceable? Join the ELISA Seminar on July 23 with Stanislav Pankevich to explore the practical WHAT-WHY-HOW model for software requirements. Register: hubs.la/Q04pvm8n0

How can open source practices support safety-critical systems? The ELISA Lighthouse SIG explores best practices for code-first, CI-driven open source development in regulated industries, including project assessments and evidence confidence. Get involved: hubs.la/Q04nWk430

How can safety supply chain documentation become more standardized? In a recent ELISA Workshop, Nicole Pappler discusses the SPDX Safety Profile Release Candidate & how it supports structured safety documentation, transparency, and compliance. Learn more: hubs.la/Q04nWPGZ0

How can open source support functional safety? Xen as a Type-1 hypervisor, static partitioning, deterministic execution, freedom from interference, MISRA C, MPU support, traceability, testing, fuzzing, and reusable safety artifacts. hubs.la/Q04nWNCr0

What’s wrong with this requirement? In this ELISA Project Seminar clip, learn how to spot common issues in requirements, reduce ambiguity, and make requirements easier to evaluate and maintain. Watch: hubs.la/Q04nWhSf0

How can Linux-based avionics development become easier to reproduce, debug, and share? Learn how Nix, NixOS, and AvioNix help address setup challenges, “works on my machine” issues, SBOM tracking, cross-compilation, and reproducible builds. Read the blog: hubs.la/Q04nW8XJ0

What’s inside your shipped binaries? This week’s session highlight features Software Supply Chain Management With the Yocto Project by Joshua Watt, Garmin. Learn about SBOMs, SPDX, BitBake task hashes, reproducible builds, and build tool traceability. hubs.la/Q04nFKz70

How can open source support safety-critical avionics? Matthew Weber of Boeing shares insights on DO-178C, ARINC 653, deterministic partitioning, testing rigor, and lifecycle traceability for mixed-criticality systems. Watch: hubs.la/Q04nc68j0

How can open source support functional safety? In this ELISA Project Seminar, Ayan Kumar Halder of AMD and Matthew Weber of Boeing discuss Xen, Zephyr, and Linux for mixed-criticality systems, including key safety certification artifacts. Watch: hubs.la/Q04nclD50

Missed the ELISA Project Seminar on AvioNix: Infrastructure as Code for Linux in Avionics? The recording is now available. Learn how AvioNix, Nix, and NixOS support efforts to bring Linux into safety-critical aviation applications. Watch now: hubs.la/Q04ncdZt0

How can teams keep requirements clear, traceable, & separate from design? Join the Seminar, WHAT-WHY-HOW, with Stanislav Pankevich, Reflex Aerospace GmbH. Learn how WHY, WHAT, HOW, and interfaces support clearer documentation, code, testing, and reviews. hubs.la/Q04mXWcr0

How can modern verification methods strengthen safety-critical software? Read our latest recap of “Modernizing Software Verification” by Craig Christianson, United States Air Force, from the Safety-Critical Software Track at #OSSNA 2026: hubs.la/Q04mY0s70

Is “probably safe” safe enough? In his ELISA Project blog, Alessandro Carminati explores Linux virtual isolation, physical memory adjacency, and why safety cases need clear guarantees. Read more: hubs.la/Q04mvFsJ0

How can Linux support safety-critical railway infrastructure? Join the ELISA Project Railways SIG to connect with railway stakeholders and the open source community on standards, requirements, and collaboration. Learn more: hubs.la/Q04mvCG00

How can Xen, Zephyr RTOS, and Linux support safety-critical systems? ELISA’s recent seminar explored functional safety, mixed-criticality systems, workload isolation, deterministic execution, and open source safety certification. Read more: hubs.la/Q04mvCDQ0

🚨 Last day to submit your CFP for Open Source Summit Europe 2026! Share your ideas on safety-critical & embedded Linux, safety standards, traceability, security, and real-world use cases. CFP closes today, June 24: hubs.la/Q04mtVbn0

Join tomorrow’s ELISA Seminar on AvioNix: Infrastructure as Code for Linux in Avionics. Learn about Nix, NixOS, SBOM tracking, and the AvioNix demonstrator for safety-critical aviation. hubs.la/Q04m8MGf0