@ProjectElisai
iAccount based inGermany
About this account
- Account based in
- Germany
- Connected via
- Germany Android App
Account-level information from X, not a live location or the device used for a specific post.
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
- Tweets1.1K
- Following323
- Followers974
- Likes192
Pinned Tweet
#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: hubs.la/Q034DvlX0.
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
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
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
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
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
📘 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
🚆 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
Explore ELISA Workshop 2026 highlights on SafetyGuard, AGL SoDeV, and functional safety with Xen, Zephyr, and Linux.
Watch the sessions: hubs.la/Q04xwf5Z0
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
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
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
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
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
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
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
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
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
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
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
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