ELISA Project (@ProjectElisa) header
ELISA Project (@ProjectElisa) profile picture

ELISA Project

@ProjectElisa

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

 San Francisco
elisa.tech/
Joined April 2021
  • Tweets1.1K
  • Following322
  • Followers971
876Media
Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)Photo by ELISA Project (@ProjectElisa)
#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: hubs.la/Q034DvlX0.
Image from ELISA Project (@ProjectElisa)
1
1
275
How can Linux kernel requirements link to code and tests outside the source tree? Watch this ELISA Workshop session exploring the proposal, tracing subsystem trials, and next steps. hubs.la/Q04DSj1H0
Defining Linux Kernel Requirements and Test Specifications out of the Kernel Tree – Gabriele Paoloni, Red Hat; Kate Stewart, Linux Foundation; Chuck Wolber, The Boeing Company

ALT Defining Linux Kernel Requirements and Test Specifications out of the Kernel Tree – Gabriele Paoloni, Red Hat; Kate Stewart, Linux Foundation; Chuck Wolber, The Boeing Company

21
Alessandro Carminati of NVIDIA presented a work-in-progress framework to evaluate Linux VMA criticalities in safety-critical systems, exploring memory isolation and predictable behavior. Watch: hubs.la/Q04DSb5f0
A PoC Based Framework to Evaluate Linux VMA Criticalities in Safety-Critical Systems – Alessandro Carminati, NVIDIA

ALT A PoC Based Framework to Evaluate Linux VMA Criticalities in Safety-Critical Systems – Alessandro Carminati, NVIDIA

40
During recent ELISA workshop, Henrik Brändle introduced ELISA’s Railways SIG, its mission to represent safety-critical railway needs, and plans for an open requirements repository and public proof of concept. Learn more: hubs.la/Q04DVWNG0
Railways SIG Introduction – Henrik Brändle, Institute for Rail Vehicles, RWTH Aachen University

ALT Railways SIG Introduction – Henrik Brändle, Institute for Rail Vehicles, RWTH Aachen University

40
In our latest blog, we highlight ELISA Workshop sessions on evaluating Linux memory behavior and a proposal for maintaining kernel requirements and test specifications outside the kernel source tree. Read the recap: hubs.ly/Q04DN9b40
Image from ELISA Project (@ProjectElisa)
32
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
ELISA Project - Texas Linux Fest 2026

ALT ELISA Project - Texas Linux Fest 2026

60
🌐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 ️
Join ELISA at Open Source Summit Japan 2026’s Safety-Critical Software Track

ALT Join ELISA at Open Source Summit Japan 2026’s Safety-Critical Software Track

45
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
Image from ELISA Project (@ProjectElisa)
63
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
Image from ELISA Project (@ProjectElisa)
51
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
Image from ELISA Project (@ProjectElisa)
46
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
Image from ELISA Project (@ProjectElisa)
Image from ELISA Project (@ProjectElisa)
Image from ELISA Project (@ProjectElisa)
Image from ELISA Project (@ProjectElisa)
62
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
Image from ELISA Project (@ProjectElisa)
39
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

54
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
Image from ELISA Project (@ProjectElisa)
39
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
Image from ELISA Project (@ProjectElisa)
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
Load more