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

Join ELISA’s Kate Stewart at Texas Linux Fest in Austin on Nov 7, 10:00–10:50, for “Enabling Safe Usage of Linux in Systems: Progress to date,” exploring approaches to analyzing Linux for safety-critical systems. Learn more: hubs.la/Q04Df2-40 #TXLF #functionalsafety

🌐Join us at #OSSummit Japan + #AutoLinux + #EmbeddedLinux Conference Asia, December 7-9 in
Tokyo! We’re proud to support the #OpenSource community as a Silver sponsor of this can’t-miss
event. Explore the schedule ➡️hubs.la/Q04C-Mvg0 ️

Henrik Brändle of RWTH Aachen University introduced the ELISA Railways SIG and plans for an open railway software requirements repository and public proof of concept.
hubs.la/Q04CB78N0
#ELISAproject #opensource

What’s new in BASIL? Luigi Pellecchia of Red Hat shared updates to ELISA’s quality-management platform, including PDF/HTML exports, automatic repair of broken mappings, and a dynamic mapping view. hubs.la/Q04CB1wq0 #ELISAproject #opensource

Join ELISA at Open Source Summit Japan 2026! Explore the Safety-Critical Software track on Dec 7 and meet our community at the ELISA booth. We are a Silver Sponsor!

Register: hubs.la/Q04CzWKn0 #OSSummit #opensource

Glimpses from the ELISA booth at #OSSummit Europe in Prague! 📸 Meet our community at Booth 47, Floor 3, and the Safety-Critical Systems Community Hub on October 9.
Explore the safety track: hubs.la/Q04zxR9F0

Join ELISA at the Safe Systems with Linux Microconference during #LinuxPlumbers, October 5–7 in Prague, with hybrid participation available. Explore requirements, traceability, and testing for safety-relevant Linux systems. hubs.la/Q04yyhYs0

How can AI and formal methods complement each other?
At #OSSummit Europe, Igor Konnov and Thomas Pani will explore how AI can support TLA+ workflows—and how formal tools can catch plausible but incorrect AI-generated code. hubs.la/Q04xZb070

Explore highlights from ELISA’s London Workshop: regulatory approaches to AI-based tooling, Software Heritage and SWHIDs for assessment evidence, and Linux kernel test coverage with stress-ng.
Read the blog: hubs.la/Q04yycMc0

Can Linux support safety-critical autonomous railway systems?
At #OSSummit Europe, Red Hat will share findings from the Automated Train project, exploring mixed-criticality workloads, open source certification, and a shared platform for railways. hubs.la/Q04xZ5y90

Join the Real-Time Linux User Forum on October 6 in Prague! Connect with PREEMPT_RT developers, tooling experts, and users to exchange ideas and share real-world experiences. View the agenda: hubs.la/Q04yy4PL0

Linux was not designed with the fault containment expected of safety-certifiable software.
At #OSSummit, Alessandro will use ELISA research and ks-nav artifacts to show why fault containment and qualification scope must be demonstrated, not assumed. hubs.la/Q04xZ4LK0

How does a hazard assessment influence system design and development?
At #OSSummit Europe, Chuck Wolber and Pete Brink will lead a practical exercise exploring failure conditions and lessons from safety engineering. hubs.la/Q04xZ3VS0

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