@ProjectElisa

ELISA Project aims to make it easier to build & certify safety-critical apps. Follow on LinkedIn for updates: https://nitter.cf/t.co/qKWv0tgl70

San Francisco
Joined April 2021
#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: hubs.la/Q034DvlX0.
1
1
270
How can a Safety BOM be produced, maintained, and consumed? At #OSSummit Europe, learn how SEGkit recomputes safety verdicts, detects outdated evidence, and could automate safety evidence creation within Zephyr. hubs.la/Q04xZ2YM0
82
Join Philipp Ahmann and Olivier Charrier for the Safety Critical Software BoF at #OSSummit Europe. Exchange experiences, ask questions, and explore how initiatives such as #ELISAProject connect work across safety-critical open source communities. hubs.la/Q04xZ1bV0
90
Find your people. Share what you’re building. Get unstuck. Visit the Safety-Critical Systems Community Hub at #OSSummit Europe to exchange ideas, ask questions, troubleshoot challenges, and connect with the community. hubs.la/Q04xY-Tg0
78
How can open source make electric grid planning more transparent and reproducible? At #OSSummit Europe, Breakthrough Energy will introduce OpenGrid, a shared infrastructure foundation for open source grid modeling, and explain how you can get involved. hubs.la/Q04xYD_y0
1
77
How can open source support secure and compliant critical infrastructure? At #OSSummit Europe, Hitachi Energy and Hitachi Rail will share real-world modernization journeys using Embedded Linux, Yocto and Keycloak. Join the session on October 8. hubs.la/Q04xYC4N0
100
📘 What should we expect from a safety manual? Nicole Pappler of AlektoMetis explores how assumptions, responsibilities, constraints, integration guidance, and safety evidence should be communicated for safety-critical software. hubs.la/Q04xKbnJ0
1
79
🚆 Explore the ELISA Railways SIG with Henrik Brändle of RWTH Aachen University. Learn about its mission, railway-specific functional safety requirements, industry collaboration, shared safety artifacts, and open source proof-of-concept plans. hubs.la/Q04xKbbJ0
88
Explore ELISA Workshop 2026 highlights on SafetyGuard, AGL SoDeV, and functional safety with Xen, Zephyr, and Linux. Watch the sessions: hubs.la/Q04xwf5Z0
2
109
How can development practices align with cybersecurity standards? At ELISA Workshop, Mikel Azkarate-Askatsua shared how Canonical mapped its secure development lifecycle to ISO/SAE 21434 and IEC 62443-4-1, using identified gaps to improve its processes. hubs.la/Q04x6y7Z0
84
How can Linux support safety-critical applications? At ELISA Workshop 2026, Gabriele Paoloni and Philipp Ahmann discussed safety standards, tools, architectures and Linux features and explained how ELISA helps organizations identify and address gaps. hubs.la/Q04x6xzD0
2
113
Attending #OpenSourceSummit Europe 2026 in Prague? Visit the ELISA booth to meet community experts, working group leads and Ambassadors. Explore Safety-Critical Software track sessions on compliance, traceability, safety analysis and more. hubs.la/Q04wvXHc0
83
From safety processes to latency monitoring, explore highlights from the ELISA Workshop London 2026—including Canonical’s cybersecurity compliance work and OSADL’s long-term PREEMPT_RT monitoring. hubs.la/Q04wvWCf0
81
How can open source tools support functional safety for Linux? The ELISA Tools WG develops and evaluates tools for traceability, static analysis, code navigation, and more including BASIL, KSNav, stress-ng, and Cregit. Learn more and get involved: hubs.la/Q04w2Vwz0
1
2
93
Connect with ELISA Project experts at Open Source Summit Europe 2026! Visit the booth and join the Safety-Critical Software track for insights on open source safety standards. Details: hubs.la/Q04vYxfL0 #OSSummit #linux
1
90
Have you read our blog on AvioNix? Learn how this Nix-based approach supports reproducibility, traceability, testing, and collaboration for Linux-based aviation demo systems. Read the blog and watch the seminar: hubs.la/Q04v9hq50
100
Have you read our blog on the final phase of Xen’s safety-certification effort? Stefano Stabellini of AMD explores code coverage, unused-code removal, coverage reporting, and automated fault injection with QEMU. Read more: hubs.la/Q04v98Xn0
2
3
450
The ELISA Project Aerospace Working Group has released a cabin-light demo showing how timing expectations can be monitored using the open source Copilot runtime verification framework—an important first step toward using Linux safely in flight. hubs.la/Q04v9RNY0
84
35 years ago, a 21-year-old Linus Torvalds posted “just a hobby” to a Usenet newsgroup. Today, this “hobby” runs the internet, the ISS, and a helicopter on Mars. Happy Birthday, Linux! hubs.la/Q04vg12_0 #Linux35
1
1
99
The Real-Time Linux User Forum schedule is live! Join PREEMPT_RT developers, tooling experts, and users in Prague on October 6 to share real-world experiences and discuss the challenges and opportunities shaping Real-Time Linux. View the schedule: hubs.la/Q04v9vdR0
2
84
The ELISA Railways SIG aligns Linux development with rail standards—from signaling and control systems to automated train operations. It highlights open source capabilities in safety and represents railway needs within ELISA. Get involved: hubs.la/Q04tB1ct0
62