ELISA Project

ELISA Project aims to make it easier to build & certify safety-critical apps. Follow on LinkedIn for updates:

[ELISA Project @ProjectElisa]

#Linux community! If you're interested in updates from the #ELISAProject, connect with us on LinkedIn: https://t.co/91BnpIxgjA.

[ELISA Project @ProjectElisa]

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: https://t.co/62p1e2CrBt

[ELISA Project @ProjectElisa]

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. https://t.co/1ualmc4lRC

[ELISA Project @ProjectElisa]

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. https://t.co/ITovHb9w73

[ELISA Project @ProjectElisa]

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: https://t.co/wMDDAPzHf8

[ELISA Project @ProjectElisa]

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. https://t.co/nFOG71tnW3

[ELISA Project @ProjectElisa]

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: https://t.co/y3aW5Cl0y2

[ELISA Project @ProjectElisa]

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. https://t.co/d28ECcxD2G

[ELISA Project @ProjectElisa]

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. https://t.co/HbJUF3miDs

[ELISA Project @ProjectElisa]

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. https://t.co/5x2ajF1RBt

[ELISA Project @ProjectElisa]

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. https://t.co/8OIJK4kNaC

[ELISA Project @ProjectElisa]

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. https://t.co/d3JzhOoryn

[ELISA Project @ProjectElisa]

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. https://t.co/w3GPNxYeXO

[ELISA Project @ProjectElisa]

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. https://t.co/rPeCRs2vBr

[ELISA Project @ProjectElisa]

📘 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.
https://t.co/mblvF2UM8G

[ELISA Project @ProjectElisa]

🚆 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. https://t.co/Tqor02mxPF

[ELISA Project @ProjectElisa]

Explore ELISA Workshop 2026 highlights on SafetyGuard, AGL SoDeV, and functional safety with Xen, Zephyr, and Linux.
Watch the sessions: https://t.co/veiFwA0EUp

[ELISA Project @ProjectElisa]

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. https://t.co/zlLFMYUzE9

[ELISA Project @ProjectElisa]

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. https://t.co/i1RBQAKZzW

[ELISA Project @ProjectElisa]

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. https://t.co/hgNS0SWii9

[ELISA Project @ProjectElisa]

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. https://t.co/p1hLrNa16M