@ProjectElisa

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

 San Francisco
elisa.tech/
Joined April 2021
  • Tweets1.1K
  • Following322
  • Followers968
867Media
#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: hubs.la/Q034DvlX0.
1
1
273
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
61
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
38
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
TLA+ in the Age of AI-Assisted Engineering - Igor Konnov & Thomas Pani, Independent

ALT TLA+ in the Age of AI-Assisted Engineering - Igor Konnov & Thomas Pani, Independent

52
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
37
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
Feasibility of an Open-Source Linux Platform for Autonomous Train Operation - Daniel Weingaertner & Sebastian Hetze, Red Hat

ALT Feasibility of an Open-Source Linux Platform for Autonomous Train Operation - Daniel Weingaertner & Sebastian Hetze, Red Hat

1
1
50
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
45
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
Failure Propagation in Linux Challenges for Safety Qualification - Alessandro Carminati, NVIDIA

ALT Failure Propagation in Linux Challenges for Safety Qualification - Alessandro Carminati, NVIDIA

55
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
Lets Perform a Hazard Assessment! - Chuck Wolber, The Boeing Company & Pete Brink, Underwriter Laboratories (UL)

ALT Lets Perform a Hazard Assessment! - Chuck Wolber, The Boeing Company & Pete Brink, Underwriter Laboratories (UL)

64
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
A Safety BOM Is a Contract Producing and Consuming the SPDX Functional Safety Profile - Tobias Kästner, inovex GmbH & Nicole Pappler, AlektoMetis

ALT A Safety BOM Is a Contract Producing and Consuming the SPDX Functional Safety Profile - Tobias Kästner, inovex GmbH & Nicole Pappler, AlektoMetis

91
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
Safety Critical Software BoF - Philipp Ahmann, ETAS GmbH & Olivier Charrier, Wind River

ALT Safety Critical Software BoF - Philipp Ahmann, ETAS GmbH & Olivier Charrier, Wind River

94
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
Safety-Critical Systems Community Hub

ALT Safety-Critical Systems Community Hub

81
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
OpenGrid An Open-Source Electric Grid Modeling Ecosystem - Alice Yake, David Paolella, James Hewett & Ryan Attig, Breakthrough Energy

ALT OpenGrid An Open-Source Electric Grid Modeling Ecosystem - Alice Yake, David Paolella, James Hewett & Ryan Attig, Breakthrough Energy

1
79
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
Sponsored Session Building Secure and Compliant Critical Infrastructure with Open Source - Benjamin Weber, Hitachi Energy & Bernhard Denner, Hitachi Rail

ALT Sponsored Session Building Secure and Compliant Critical Infrastructure with Open Source - Benjamin Weber, Hitachi Energy & Bernhard Denner, Hitachi Rail

104
📘 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
80
🚆 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
89
Explore ELISA Workshop 2026 highlights on SafetyGuard, AGL SoDeV, and functional safety with Xen, Zephyr, and Linux. Watch the sessions: hubs.la/Q04xwf5Z0
2
123
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
Certifying Linux for Safety-Critical Systems: A Cybersecurity Compliance Case Study – Mikel Azkarate-Askatsua, Canonical

ALT Certifying Linux for Safety-Critical Systems: A Cybersecurity Compliance Case Study – Mikel Azkarate-Askatsua, Canonical

85
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
Ask Me Anything – Gabriele Paoloni, ELISA Governing Board Chair; Philipp Ahmann, ELISA TSC Chair

ALT Ask Me Anything – Gabriele Paoloni, ELISA Governing Board Chair; Philipp Ahmann, ELISA TSC Chair

2
114
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
84
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
82
Load more