ELISA

Meet ELISA Project at FOSDEM 2025
2025-02-01 - 2025-02-02
How many of you are planning to attend FOSDEM 2025?
Are you planning to speak at the event or attend as an participant to learn?
What topics excite you the most this year? Whether you are interested in embedded systems, open source innovation, safety or security, FOSDEM 2025 promises to be a hub of activity for everyone in the developer community.
This time there will be talks from the ELISA Project community. You will have the chance to meet the community ambassadors, some of whom will be available at the Zephyr Project stand at Building K, Level 1.
Don’t miss the opportunity to engage with these experts and learn about the latest developments in the ELISA community!
Mark your calendar to attend these ELISA Project talks!
Saturday, February 1:
Enhancing Testing Strategies for Critical Systems: Statistical Path Coverage

Track: Testing and Continuous Delivery
Speaker: Imanol Allende, OpenTech GmbH
Room: UD6.215
Day: Saturday
Start: 10:30
End: 10:55

Modern embedded and autonomous systems are pushing the boundaries of software complexity, especially in critical applications. Traditional testing methods often struggle to meet the demands of these systems, particularly when operating on resource-sharing architectures running complex operating systems like Linux. To address this challenge, we introduce Statistical Path Coverage (SPC), a novel statistical approach designed to enhance test effectiveness by statistically focusing on the execution paths exercised by target applications.
This presentation will discuss how SPC can quantify execution path coverage, estimate the risk of untested paths, and support assurance. We will also introduce DB4SIL, a tool leveraging FTrace to collect and analyze execution traces, enabling actionable insights into the kernel’s behavior during testing campaigns. Through examples, we will demonstrate how SPC and DB4SIL can guide developers in prioritizing testing efforts, improving test coverage, enabling continuous monitoring, and reducing risk in complex, software-driven systems.
The Trustable Software Framework: A new way to measure risk in continuous delivery of critical software

Track: Testing and Continuous Delivery
Speaker: Paul Sherwood, Codethink
Room: UD6.215
Start: 11:00
End: 11:25

Many of the international standards for software in critical systems (e.g. IEC 61508, ISO 26262) are published under restrictive licences, at high prices. They broadly discourage the use of FOSS, by imposition of processes that do not align with modern open source best practices such as continuous delivery and automated testing. As a result some industries such as automotive, medical and aerospace, are locked in to proprietary software.
This talk will introduce the Trustable Software Framework (TSF), a new free and open source project which establishes an evidence-based method for measuring the actual risks involved in continuous delivery of software in critical systems.
TSF is applicable over the entire software supply chain, including CICD tools and infrastructure, build dependencies, operating systems, target applications and test environments, and is intended to measure risk on projects delivering critical systems which demand reliability, availability, security and safety.
Obtaining Safety & Security Certifications for L4Re

Track: Microkernel and Component-Based OS
Speaker: Marcus Hähnel
Room: UB4.136
Day: Saturday
Start: 16:50
End: 17:15

In this talk I will share some details on the path towards the recently obtained Security (EAL4+, German GEHEIM) and Safety (ISO26262 ASIL-B, SIL-2) certifications that have been achieved for the L4Re Operating System Framework. I will show some details on where generic software development, operating systems, and third-party code clash with the expectations of the safety norms. I will also shed some light on the challenges we face in maintaining these certifications while staying true to the open source nature of the system with contributions form a multitude of actors from various fields. I will conclude with an outlook of the things to come and how we want to ensure that open source microkernel-based operating systems can be a vital cornerstone to safe & secure systems.
Sunday, February 2:
Intro to the SPDX Functional Safety Model

Track: Software Bill of Materials (SBOM)
Speaker: Nicole Pappler, Alektometis.com
Room: H.2213
Day: Sunday
Start: 09:30
End: 10:00

While SPDX provides with its relationships already a good starting base to model the internal dependencies, setting all actions and work products that are part of a functional safety release of a project sparked some discussions in the Functional Safety community. This talk lines out the main discussion points with the different viewpoints discussed in the SPDX FuSa group, along with matching prototype models.
BASIL an open source tool that supports requirements traceability with design SBOM

Track: Software Bill of Materials (SBOM)
Speaker: Luigi Pellecchia, Red Hat
Room: H.2213
Day: Sunday
Start: 13:30
End: 14:00

BASIL is an open source software quality management tool that has been developed to simplify the definition and maintenance of traceability matrix in Safety Critical applications. Even if BASIL provides several features as the management of quality related work items and a test execution framework, usually in critical applications we have to deal with complex toolchains. Due to that it is mandatory to have a way to share data between tools in a consistent way. Join us in a session where we will see how BASIL is supporting SPDX to share quality related work items as a SBOM.

Automotive BOF

Track: BOF – Track B
Room: H.3242
Day: Sunday
Start: 13:00
End: 14:00

This Birds of a Feather (BoF) session at FOSDEM will focus on the growing intersection of open source and the automotive industry, highlighting the latest advancements, challenges, and opportunities for collaboration. As the automotive sector increasingly adopts open-source software, it is driving innovation in areas such as in-vehicle systems, autonomous driving, and vehicle connectivity. Key projects like Automotive Grade Linux (AGL) and the ELISA (Enabling Linux in Safety Applications) initiative are at the forefront of this transformation, providing open-source frameworks for developing scalable, secure, and reliable automotive software. This session will bring together developers, engineers, and enthusiasts to discuss how these initiatives are shaping the future of mobility and explore how open-source communities can work together to solve the unique challenges of the automotive domain.
Attendees will have the opportunity to share experiences, discuss key technical topics such as real-time operating systems, safety-critical systems, and compliance with automotive standards (e.g., ISO 26262), and explore potential new collaborations. The session will delve into the importance of open standards, the growing need for security in connected vehicles, and how projects like AGL and ELISA enable safer, more efficient automotive software development. By fostering cross-industry dialogue and strengthening the automotive open-source ecosystem, this session aims to inspire future collaborations that can help define the next generation of smart, connected, and autonomous vehicles.
If you would like to meet our community experts at FOSDEM or you have any project related questions, please feel free to contact us at info@elisa.tech.
We look forward to meeting you!

ELISA Workshop at NASA Goddard - Space Grade Linux
2024-12-10 - 2024-12-12
This ELISA workshop is hosted in collaboration with NASA with topics and discussions focused on advancing Space Grade Linux.
Location
Goddard Visitor Center, Goddard Space Flight Center, in Greenbelt, Maryland, USA
Cost
Free to attend, in-person registration will be capped at 40.
Registration
Registration closed on November 25. Foreign nationals (non-US citizens) who registered after November 5th won’t be able to join the NASA tour but can participate in workshop sessions.
Please contact events@elisa.tech if you have questions about registration.
Suggested Hotel
The Hotel at The University of Maryland (Please note there are no contracted rooms and we can’t guarantee rates or availability.)
Schedule (sessions and speakers are subject to change): all times in Eastern Standard Time
December 10 (in person only)

12:30-13:00 ELISA/NASA welcomes and orientations (Philipp Ahmann – ETAS, Michael Monaghan – NASA, Ramon Roche – Linux Foundation and Kate Stewart – Linux Foundation) (slides)
13:00-15:30 NASA tour
15:30-16:00 Space Grade Linux Intro (Michael Monaghan – NASA) (slides)
16:00-16:30 Lessons from Automotive Grade Linux (Walt Miner – Linux Foundation) (slides)
16:30-17:00 Linking external test results to test cases in BASIL to support preexisting test infrastructure (Luigi Pellecchia – Red Hat) (slides)
17:00-17:30 How to use ks-nav for a feasible and meaningful test campaign in the kernel (Alessandro Carminati – Red Hat) (slides)

December 11 (in person and virtual)

9:00-9:45 Verification and validation of the OS and “certification package” (Scott Tashakkor – NASA) (slides) (video)
9:45-10:30 Test and assurance of non-volatile memory devices for space (Ted Wilcox – NASA) (slides) (video)
10:30-10:45 Break
10:45-11:30 Addressing security topics for future space systems using Linux (Joshua Krage – NASA) (video)
11:30-12:15 Linux Kernel design documentation (Gab Paoloni – Red Hat, Kate Stewart – Linux Foundation, and Chuck Wolber) (slides) (video)
12:45-13:15 Space Grade Linux survey results during lunch (Ramon Roche – Linux Foundation and Kate Stewart – Linux Foundation) (slides) (video)
13:15-13:45 F prime (Michael Starch, NASA) (slides) (video)
13:45-14:15 Space ROS (Ivan Perez – NASA) (slides) (video)
14:15-14:45 cFS overview (Richard Landau – NASA and Ashok Prajapati – NASA) (slides) (video)
14:45-15:15 Break
15:15-15:45 Investigating implementation of Linux-based payload computers: a review of in-orbit demonstrations for Edge AI in space missions (Dongshik Won – TelePIX Co., Ltd.) (slides)
15:45-16:15 Container and immutable patterns for operating systems and wordloads (Michael Epley, Red Hat) (slides) (video)
16:15-16:45 Containerization in space: Podman for mission-critical operations and resilience (Douglas Schilling Landgraf – Red Hat and Dan Walsh – Red Hat) (slides) (video)
16:45-17:00 Wrap up, next steps summary (Philipp Ahmann – ETAS, Michael Monaghan – NASA, Ramon Roche – Linux Foundation and Kate Stewart – Linux Foundation)

December 12 (in person and virtual)

9:00-9:30 Real Time Linux update (Steve Rostedt – Google) (slides) (video)
9:30-10:30 Building an OSS Ecosystem for Space (Tim Bird – Sony) (slides) (video)
10:30-11:00 Linux Adoption in Safety Critical ECU’s (ADAS) (Naresh Ravuri – Magna Electronics) (video)
11:00-11:30 Break
11:30-12:00 Wrap up, next steps summary (Philipp Ahmann – ETAS, Michael Monaghan – NASA, Ramon Roche – Linux Foundation and Kate Stewart – Linux Foundation)

The Linux Foundation Member Summit (Napa, California)
2024-11-19 - 2024-11-21
The Linux Foundation Member Summit is the annual gathering for Linux Foundation member organizations taking place in Napa, California on November 19-21.
An annual gathering for Linux Foundation members that fosters collaboration, innovation, and partnerships among the leading projects and organizations working to drive digital transformation with open source technologies. It is a must-attend for business and technical leaders looking to advance open source strategy, implementation, and investment in their organizations and learn how to collaboratively manage the largest shared technology investment of our time.
ELISA Ambassador Kate Stewart, Vice President of Dependable Embedded Systems at the Linux Foundation, will be on-site to give a few presentations including:
Tuesday, November 19 at 3-3:30 pm PST – Zephyr: Overview and Roadmap
This session will provide an overview of the project’s accomplishments to date, and provide a roadmap of what is being planned for 2025. Zephyr project is now the 5th most active project hosted by the Linux Foundation. Each release sees about 30% new contributors, and these contributors are resulting in around 3 changes per hour in the code base. Products as diverse as Chromebooks, to Wind Turbines, to Hearings Aids, and Pet Trackers are being built with Zephyr. Learn about the open source and security best practices that have been applied to Zephyr over the years, and why it is now one of the most active open source projects at the Linux Foundation. Add it to your schedule here.
Thursday, November 21 at 12-12:30 pm – SPDX: From Software to Systems
Kate will be joined by Gary O’Neall, Founder and Principal Consultant at Source Auditor. The “Software” Product Data Exchange was created in 2010 to provide machine and human readable metadata for licensing information to consumers of open source software. Over the years, the SPDX community has added support for a wide range of additional use cases. Complex software component interactions between open source and proprietary as well as the requirements to support SBOMs optimized for security risk management have been driving forces for many of the changes. With the SPDX 3.0 release and work being done for the upcoming SPDX 3.1 release, the scope of SPDX has expanded beyond software to entire systems including datasets, AI models, services and hardware. This will enable consumers to satisfy additional use cases in areas like product safety and export regulation compliance. With the SPDX 3.0, we’ve renamed SPDX from “Software” Product Data Exchange to “System” Product Data Exchange to better reflect where the project is aiming. In this talk, we’ll go over changes we’ve made to the SPDX model to support systems, the additional profiles that are focused on system level problems and what this means to both the producers and consumers of SPDX data. Add it to your schedule here.
The Linux Foundation Member Summit is an invitation-only event for member companies of The Linux Foundation. Invitation codes have been sent to member companies for the event. If you are a member company and need information regarding your invitation code, please contact Event Support.

Open Source Summit Japan (Tokyo, Japan)
2024-10-28 - 2024-10-29
The Open Source Summit Japan, is the premier event for open source developers, technologists, and community leaders to collaborate, share information, solve problems and gain knowledge, furthering open source innovation and ensuring a sustainable open source ecosystem. takes place October 28-29 in Tokyo, Japan.
Monday October 28th at 11:15 JST
Safe Systems with Linux – Philipp Ahmann, Sr. OSS Community Manager Etas GmbH (BOSCH) & Kate Stewart, VP Dependable Embedded Systems The Linux Foundation
As Linux is increasingly deployed in systems with varying criticality constraints, distro providers are expected to ensure that security fixes in their offerings do not introduce regressions for customer products that have safety considerations. The key question arises: How can they establish consistent linkage between code, tests, and the requirements that the code satisfies? And which open source tools and specifically for Linux exist to support traceability in order to comply with standards such as ASPICE, ISO26262 or ISO21434? This talk addresses critical challenges in requirements tracking, documentation, testing, and artifact sharing within the Linux kernel ecosystem. Functionality has historically been added to the kernel with requirements explained in the email justifications for adding, but not formalized as “requirements” in the kernel documentation. While tests are contributed for the code, the underlying requirement that the tests satisfies is likewise not documented in a consistent manner. This and further topics will be discussed. Additionally, the results from the “Safe Systems with Linux” micro conference at Linux plumbers will be summarized.
Tuesday October 29, 2024 14:00 JST
Lessons Learned on Following Security Best Practices in Zephyr – Kate Stewart, VP Dependable Emb0edded Systems The Linux Foundation
Launched in 2016, the Zephyr project aimed to address the lack of standardized security practices in the IoT market by applying best practices to an open-source framework. This talk will detail Zephyr’s journey over the past 8 years, including becoming a CVE Numbering Authority and forming a PSIRT team, to demonstrate that open-source projects can successfully implement security best practices.

Tuesday October 29, 2024 16:40 JST
From Complexity to Clarity: Addressing Challenges in AI BOMs for Compliance – Gopi Krishnan Rajbahadur, Senior Staff Researcher Huawei Technologies Canada & Kate Stewart, VP Dependable Embedded Systems The Linux Foundation
As global regulations on AI software tighten, the AI Software Bill of Materials (AI BOM) and the new SPDX 3.0 with AI and dataset profiles offer a promising solution for compliance but face slow adoption due to developer knowledge gaps and the complexity of AI systems. This talk will address these challenges, share best practices for improving AI BOM accuracy, and provide strategies to help professionals ensure their AI applications meet regulatory requirements.
How to attend: https://events.linuxfoundation.org/open-source-summit-japan/register/
To see more information: https://events.linuxfoundation.org/open-source-summit-japan/program/schedule/

Linux Plumbers Conference (Vienna, Austria)
2024-09-18 - 2024-09-20
The Linux Plumbers Conference, the premier event for developers working at all levels of the plumbing layer and beyond, takes place September 18-20 in Vienna, Austria. This year, the conference will be both in person at the Austria Center and remote.
ELISA will be represented on-site by several ambassadors and in a presentation by Philipp Ahmann Technical Business Development Manager at Robert Bosch GmbH and Chair of the ELISA Project Technical Steering Committee and Kate Stewart Vice President of Dependable Embedded Systems at the Linux Foundation.

Safe Systems with Linux

The Safe Systems with Linux Microconference tackles the challenge of ensuring security fixes in Linux distributions do not introduce regressions in safety-critical applications by improving the linkage between code, tests, and requirements. It addresses issues in requirements tracking, documentation, and testing, emphasizing the need for formalized documentation of requirements and consistent test documentation within the kernel ecosystem. (September 20th – 15:00 PM CET) and details can be found: https://lpc.events/event/18/sessions/187/#20240920

This will feature: Kate Stewart, Philipp Ahmann, Thomas Gleixner, Gabrielle Paoloni, Olivier Charrier, Chuck Wolber, Nicole Pappler, Jonathan Corbet, Bertrand Boisseau & more.
Kernel Testing & Dependability

The Kernel Testing & Dependability Micro-Conference (Testing MC) is dedicated to advancing Linux Kernel testing and infrastructure through collaborative efforts. By fostering connections and discussions on identified issues and potential solutions, the conference aims to enhance the predictability and trustworthiness of the kernel for diverse applications and products. The session will take place (September 20th – 10 AM CET) and details can be found: https://lpc.events/event/18/sessions/189/#20240920

Tracing

The Tracing / Perf Events Microconference explores how tracing and perf events illuminate the complexities of the Linux kernel, enabling advanced debugging, feature development, and runtime verification. This year, the focus will also include the perf events mechanism, which presents performance counters and software events through both kernel and userland components. (September 20th – 10 AM CET) and details can be found: https://lpc.events/event/18/sessions/209/#20240920

This will feature: Steven Rostedt, Alexander Graf

Visit the main event page to learn more here: https://lpc.events/event/18/page/224-lpc-2024-overview.

ELISA Seminar - Meet the New KernelCI
2024-09-04 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Meet the New KernelCI
Date: Wednesday, September 4, 2024, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET
Speaker: Gustavo Padovan, Kernel Lead at Collabora and Don Zickus, Distinguished Engineer at Red Hat
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering
Abstract:
KernelCI started 10 years ago as a small project to test the kernel on Arm devices. The project grew over the years and today a new architecture is in place. In this talk, Don and Gustavo will present you the new KernelCI. The KernelCI community put a lot of effort recently to design and implement its new testing architecture with a focus on facilitating the kernel community and industry engagement as much as possible.

Our new KernelCI Architecture (1) allows different services (such as patchwork, b4, etc), multiple CI services, and users to send request to test patches; (2) supports all sorts of testing platforms and hardware labs, not just embedded hardware; (3) focus on quality of test run, rather than quantity; (4) brings common database for all CI systems with automatic post-processing of regressions.

We will offer the ELISA community an overview of KernelCI and look for potential areas of collaboration between both projects.

ELISA Seminar - The SEooC concept driven into extreme
2024-08-21 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: The SEooC concept driven into extreme
Date: Wednesday, August 21, 2024, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET
Speaker: Håkan Sivencrona, Senior Technical Leader @ SVA Safe Vehicle Automation, Volvo Cars
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering
Abstract:
For quite a few years ISO 26262 have supported a component/element-based approach to ISO 26262, SEooC or Safety Element out of Context. This has simplified the argumentation and integration for specific elements into a larger system. However, as we see more and more complex systems being introduced, such as highly automated cars, we foresee that the importance of SEooC concept will grow more important. But the how-to will be developed at the same time.
The presentation will introduce the SEooC concept, the usage and possible extensions and supporting argumentation for use of for example SW components in a CI/CD framework. And a lot more.

ELISA Seminar - Cregit: token-level history of Linux
2024-08-07 08:00 - 09:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Cregit: token-level history of Linux
Date: Wednesday, August 7, 2024, 8:00-9:00 Pacific / 15:00-16:00 UTC / 17:00-18:00 CET
Speaker: Daniel German, Professor of Computer Science, University of Victoria
Professor German’s main area of research is open source software engineering, the impact of intellectual property in software engineering and the mining of software repositories. Please visit http://turingmachine.org for additional information.
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering
Abstract:
One of the major disadvantages of git’s blame command is that the minimum unit of change it tracks is the line of text. To address this issue, we developed Cregit (http://github.com/cregit/cregit), a set of tools the permits that traceability of each token of the source code of a git repository.
Using cregit we have successfully documented the origin of each token of the kernel since release 4.7 at https://cregit.linuxsources.org/
This presentation will provide an overview of how Cregit works and demonstrate how to use the Linux cregit website.

Automotive Grade Linux All Member Meeting (Berlin, Germany)
2024-07-17 - 2024-07-18
The Automotive Grade Linux (AGL) All Member Meeting, which takes place on July 17-18 in Berlin, Germany, brings the AGL community together to learn about the latest developments, share best practices and collaborate to drive rapid innovation across the industry.
Philipp Ahmann, Technical Business Development Manager at Bosch and Chair of the ELISA Project TSC, and Sven Erik Jeroschewski, Software Engineer at Bosch Digital, will be on-site to give a presentation, “So you want to use Linux in Safety Applications? – A Primer”
It is common sense that Linux has gained significant traction in the automotive industry. Now more OEMs and Tiers considering its usage also in safety-critical applications. This presentation explores the typical concepts and approaches taken by companies venturing into the space of “safety-critical Linux”. It delves into use cases where Linux could be an option and highlights the challenges that need to be overcome for some other use cases.
The talk sheds light especially on Linux in ADAS and explores the role of other system elements such as containerization, virtualization, and RTOS in the introduction of Linux in the safety-critical space. Furthermore, it provides a high-level overview of safety integrity standards like ISO26262 and IEC61508, emphasizing the challenges they introduce. By the end of the presentation, the audience will have a basic understanding of the different concepts involved in enabling Linux in safety applications. They will also gain insights into the companies driving these activities, identify commonalities in the approaches taken, and recognize the role of the ISO PAS 8926 as part of the ISO26262 3rd edition. Add this session to your schedule here.
Check out the full schedule here. To learn more or to register for the AGL All Member Meeting, visit their main event website.

ELISA Seminar - Improved system stressing with stress-ng
2024-06-26 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Improved system stressing with stress-ng
Date: Wednesday, June 26, 2024, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET
Speaker: Colin King, Principal Engineer, Intel
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering
Abstract:
Stress-ng has a proven track record for stress testing Linux systems and forcing out system bugs. This talk will describe new stress-ng features and the future roadmap for stress-ng.

ELISA Workshop - Lund
2024-06-04 - 2024-06-05
The ELISA Project hosts in-person workshops on a regular basis to gather the project members, contributors, and other partners in the ecosystem to further collaboration, accelerate project progress, and plan for future goals. The next workshop will be held on June 4-5 in Lund, Sweden. We strongly encourage in-person participation for the best collaboration; a virtual component may be added if there is sufficient interest.
Location: Volvo Cars Lund Office in Lund, Delta 3, Scheelevägen 23, 223 63 Lund, Schweden
Date/Time: 9:00 – 17:00 CEST on June 4 and June 5
Meals: Breakfast and lunch will be provided on site for both days. Dinner will be provided offsite on the 1st day.
Accommodation: Motel L Lund or Elite Hotel Ideon (please note that ELISA/Linux Foundation didn’t contract rooms at these properties and cannot guarantee rates, availability, or service. These hotels are recommended only because it’s located near the event venue.)
Getting There: Copenhagen Airport, Kastrup (CPH) is the closest airport. Local transport is available from the airport to get you to within a few minutes of walking distance from the event location.
Cost: free to attend, in-person registration will be capped at 30
Registration: closed
Topic Proposal: Please use this form to propose a session to help craft and shape the session topics.
Schedule (all times in local CEST)
June 4, 2024

8:00 – 9:00 breakfast on site (hosted by Volvo)
9:00 – 9:25 workshop welcome and participants’ intros
9:25 – 9:45 welcome by Volvo: “the digital safety belt” (Robert Fekete, Volvo)
9:45 – 10:30 AMA (Ask Me Anything) about Enabling Linux in Safety Applications – opportunity for new participants to ask core contributors questions
10:30 – 11:30 coordination and synergy between ELISA Working Groups (Gabriele Paoloni, Red Hat)
11:30 – 12:00 SPDX safety profile and implications on code and traceability (Kate Stewart, The Linux Foundation)
12:00 – 12:30 overall engineering approach to system safety for systems including a Linux component (Paul Albertella, Codethink and Igor Stoppa, NVIDIA)
12:30 – 13:30 lunch on site (hosted by Volvo)
13:30 – 14:00 STPA-like vs expert driven FMEA (Gabriele Paoloni, Red Hat)
14:00 – 14:45 improving kernel documentation and involving experts (Gabriele Paoloni, Red Hat)
14:45 – 15:00 break/fika
15:00 – 15:30 kernel testing (Shuah Khan, The Linux Foundation)
15:30 – 16:00 state and roadmap of Linux Features Working Group (Alessandro Carminati, Red Hat)
16:00 – 16:15 day one wrap up and review schedule for tomorrow and make adjustment if needed
16:30 – 18:30 tour of MaxIV (optional)
19:15 – 21:15 dinner offsite at Stäket

June 5, 2024

8:00 – 9:00 breakfast on site (hosted by Volvo)
9:00 – 10:00 discussion: core parts of the kernel (Gabriele Paoloni, Red Hat)
10:00 – 10:45 constant flow of ever increasing challenges for the dedicated safety manager (Håkan Sivencrona, Volvo)
10:45 – 11:15 break/fika
11:15 – 11:45 a primer on Nix and its relevance for safety-critical software systems (Matthias Meschede, Erin van der Veen, Modus Create / Tweag)
11:45 – 12:30 Dependability through OSS (Mikel Azkarate-askatsua, Canonical)
12:30 – 13:30 lunch on site (hosted by Volvo)
13:30 – 14:15 safety mechanisms to be considered to meet ASIL levels in Automotive (Naresh Ravuri, Magna)
14:15 – 15:00 ELISA in the world of Software Defined Vehicles (Philipp Ahmann, Bosch and William (Zhuwei) Yang, EMQ)
15:00 – 15:30 break/fika
15:30 – 16:00 state of ks-nav (Alessandro Carminati, Red Hat)
16:00 – 16:30 What does SOTIF mean for ELISA? (Philipp Ahmann, Bosch)
16:30 – 17:00 workshop wrap up and next steps

ELISA Seminar - Making Linux Fly: Towards Certified Linux Kernel
2024-05-22 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Making Linux Fly: Towards Certified Linux Kernel
Date: Wednesday, May 22, 2024, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET
Speaker: Wentao Zhang, PhD student at University of Illinois Urbana-Champaign and Steven H. VanderLeest, Technical Fellow at The Boeing Company
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering.
Abstract:
Although the Linux operating system has been used widely in many industries, adoption in aerospace has been slow due to the rigorous assurance evidence required as part of flight certification. The guidance for commercial flight software in most of the world is RTCA DO-178C, which identifies five progressively more rigorous levels of assurance. Providing the software life cycle data outlined by DO-178C is a daunting task for software as large and complex as Linux. In this project we focus on three objectives from DO-178C related to code coverage — the fraction of the source code that is exercised by testing. The three types of code coverage in DO-178C are statement coverage, decision coverage, and Modified Condition/Decision Coverage (MC/DC). The last of these, MC/DC, is only required for Software Level A, the highest level of assurance.
For operating system kernels like Linux, measuring code coverage is challenging because of the unique execution environment compared to user space. Measuring MC/DC is even harder given the intricacy of the metric and limitations of tools. We share our experience in measuring Linux kernel’s code coverage, with an emphasis on MC/DC. We describe how we have enabled measuring Linux kernel’s MC/DC for the first time, by enhancing both the toolchain and the kernel itself. We also discuss the generalizability of our approach across different kernel versions and opportunities for improving coverage with kernel testing suites like KUnit and kselftest.

ELISA Seminar - Ferrocene: Qualifying the Rust compiler out in the open
2024-05-08 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Ferrocene: Qualifying the Rust compiler out in the open
Date: Wednesday, May 8, 2024, 7:00-8:00 Pacific / 14:00-15:00 UTC / 16:00-17:00 CET
Speaker: Florian Gilcher, Managing Director at Ferrous Systems
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering.
Abstract:
Ferrocene is a fully open source toolchain to enable the use of the Rust programming language in safety-critical environments. It is a proper downstream of the main Rust compiler – rustc. This includes all documentation.
The mission of Ferrocene is to bring open source practices to safety-critical industries and improve the Rust open source ecosystem through safety-critical practices.
Ferrocene is also fully qualified using only open source tooling.
But what does that mean in practice? In this talk, I’ll walk you through our findings when qualifying the Ferrocene compiler toolchain using fully open source tools. A particular eye will be on the conditions that enabled the Ferrocene project to build a feedback loop with the Rust project and how they may inform your approach towards other FOSS projects.

Safety-Critical Software Summit (Seattle, Wa)
2024-04-16 - 2024-04-18
The Safety-Critical Software Summit will be hosted in Seattle, Washington on April 16-18. As open source is found more and more in safety-critical applications, the need to evaluate open source software that meets safety standards has increased. This event, sponsored by ELISA, gathers safety experts and open source developers to enable and advance the use of open source in safety-critical applications.
The safety-critical track will take place on Thursday, April 18.

Add these to your schedule here. Register here.
Visit the main event website for more updates: https://events.linuxfoundation.org/embedded-open-source-summit/.

ELISA Seminar - Certifying Linux: State of the Art and Lessons Learned after Eight Years
2024-03-12 08:00 - 09:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Certifying Linux: State of the Art and Lessons Learned after Eight Years
Date: Tuesday, March 12, 2024, 8:00-9:00 Pacific / 11:00-12:00 Eastern / 16:00-17:00 CET / 15:00-16:00 UTC
Speaker: Lukas Bulwahn, Safety Software Key Expert at Elektrobit
How to Attend: Register here in advance to attend for free. And please add the webinar joining details to your calendar from the confirmation email you will receive upon registering.
Abstract:
In 2018, in the course of the SIL2LinuxMP project, we summarized the knowledge gained around research questions and suggested potential solutions using Linux in safety-related systems in the paper “Certifying Linux: Lessons Learned in Three Years of SIL2LinuxMP”. Since then, the activities using Linux in safety-related systems has continued to attract more experts and more commercial attention. However, it is still a challenging activity to pursue.
In this talk, we explain, reflect and comment the areas of work and activities that have been followed the next five years throughout the industry and how they relate, complement initial ideas that were collected in the SIL2LinuxMP project.

FOSDEM (Brussels, Belgium)
2024-02-03 - 2024-02-04
FOSDEM, which takes place on February 3-4 in Brussels, is a free event for software developers to meet, share ideas and collaborate. Every year, thousands of developers of free and open source software from all over the world gather at the event in Brussels. This event is expecting 636 speakers, 591 events, and 65 tracks.
The ELISA Project will be featured in a presentation on Saturday, February 3. For more information or to register for the event, visit the FOSDEM website.
2:30 pm – 2:55 pm: How open source projects approach Functional Safety – Nicole Pappler & Philipp Ahmann
Open Source is a winning solution for many industries already – and now even safety critical applications want to make use of it. While “security” is a capability of open source since many years, a few years ago using open source in safety critical applications seemed to be impossible even to think about. Nowadays it has become a valid option for upcoming applications. This kind of application that should save lives, or at least not harm anyone. However, with advancements in technology and safety integrity standards, open source is becoming a valid option for upcoming safety critical applications. This talk will provide an overview of how open source projects approach their integration to safety critical applications. Depending on the expectations of these applications, there are different solutions to address their needs. The talk will introduce example projects such as ELISA, the Zephyr Project, and the Xen Project, which are currently addressing these expectations with various mechanisms and approaches.
Check out other Zephyr-related sessions here.
To view the complete schedule and dev rooms like SBOM, Embedded, Automotive and more, visit the main event website: https://fosdem.org/2024/

Software Heritage Symposium and Summit 2024 (Paris, France + Online)
2024-02-01
The Software Heritage Symposium and Summit 2024 is scheduled to take place on February 1, 2024, starting at 2:00pm at the UNESCO headquarters. This hybrid event allows registrations from the general public for both in-person and online attendance. To secure your spot, please complete this simple registration form. Confirmation will be promptly provided based on seat availability.
Software Heritage, the universal source code archive, was launched in 2016 by Inria (France). Software Heritage’s ambitious goal is to collect, preserve and share all software source code, building an essential infrastructure at the service of cultural heritage, digital development, science, industry, and society as a whole.  As part of the event we will gather to take stock of the achievements and status of the initiative, and to highlight the relevance of its mission in the context of today’s dynamic digital innovation landscape, including rapid changes in the field of generative artificial intelligence.
In 2021, we have celebrated the 5th anniversary of Software Heritage with the first annual Symposium. A second Symposium took place in 2023. This is Software Heritage’s 3rd Symposium event.
The half-day event, which will follow a hybrid format of virtual and on-site participation at the UNESCO Headquarters, will focus on several major dimensions of relevance to the Software Heritage archive:

Software source code as documentary heritage and an enabler for historical research
Scientific challenges for analyzing and learning from preserved Source Code
Software source code as a first class research output in the Open Science ecosystem
Software source code as enabler for innovation and sharing in industry and administration

At 2:45 pm, Kate Stewart, Vice President of Dependable Embedded Systems at the Linux Foundation, will participate in Industry and Public Administration Panel. Other panelists include:

Guillaume Avrin, National coordinator for artificial intelligence, Direction Générale des Entreprises
Omar Mohsine, Open Source coordinator, United Nations Office of Information and Communications Technology
Marc Palazon, CEO Groupe SMILE and Board member Numeum

This event is managed completely by Software Heritage. For more details about the agenda or to register, visit the event website.

Working Group Annual Updates
2024-01-17 09:00 - 11:00, 2024-01-16 09:00 - 11:00 (America/Chicago)
Join the ELISA Working Group Annual Updates on January 16 and 17, 10:00-12:00 EST / 7:00-9:00 PST / 16:00-18:00 CET / 15:00-17:00 UTC when each of the group leads will bring you up to speed on their group’s progress, roadmap, and how you can participate.
The updates will include the following topics:

Look back at major milestone and achievements in 2023
Current focus and activities
What’s coming up in 2024 and areas and opportunities for collaboration
Onboarding resources and how to get involved

Session on January 16 will include updates from speakers/WG leads of the following horizontal Working Groups:

15:00-15:15 UTC: ELISA Project Overview (Philipp Ahmann, Robert Bosch GmbH)
15:15-15:40 UTC: Tools (Speaker and WG Lead, Matt Kelly, The Boeing Company)
15:40-16:05 UTC: Open Source Engineering Process (Paul Albertella, Codethink)
16:05-16:30 UTC: Safety Architecture (Gabriele Paoloni, Red Hat)
16:30-16:55 UTC: Linux Features for Safety-Critical Systems (Elana Copperman, Mobileye)

Session on January 17 will include updates from speakers/WG leads of the following the use-case focused Working Groups

15:00-15:15 UTC: ELISA Project Overview (Philipp Ahmann, Robert Bosch GmbH)
15:15-15:40 UTC: Aerospace (Steven H. VanderLeest, The Boeing Company)
15:40-16:05 UTC: Automotive (Philipp Ahmann, Robert Bosch GmbH)
16:05-16:30 UTC: Medical Devices (Kate Stewart, The Linux Foundation)
16:30-16:55 UTC: Systems (Philipp Ahmann, Robert Bosch GmbH)

Both sessions will begin with a 15-minute overview of ELISA by the Technical Steering Committee Chair, Philipp Ahmann. Each Working Group update will be approximately 20 minutes long followed by a 5 minute Q&A.
How to Attend: Register here in advance to attend for free. Upon registering, you will receive a confirmation email containing the details about joining the sessions. And don’t forget to add the event to your calendar from the confirmation email.

ELISA Seminar - ISO-PAS 8926 Overview and ISO 26262 3rd ed. Activity Planning
2023-11-29 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: ISO-PAS 8926 Overview and ISO 26262 3rd ed. Activity Planning
Date: Wednesday, November 29, 7:00-8:00 am PST/10:00-11:00 pm EST / 16:00-17:00 CST / 14:00-15:00 UTC
Speaker: Roberto Paccapeli, Functional Safety Manager at Red Hat and Gabriele Paoloni, Sr. PE at Red Hat
How to Attend: Register here in advance to attend for free. After registering, you will receive a confirmation email containing information about joining the meeting. And don’t forget to add the event to your calendar from the confirmation email.
Abstract
ISO PAS 8926 “Road vehicles – Functional safety – Use of pre-existing software architectural elements” has been approved by the ISO community. This achievement represents a recognition of the work done in the last 2 years by ISO Sub-Group experts from multiple organizations / delegation to include the evaluation of pre-existing complex software for Functional Safety without losing the original ISO 26262 backbone.
The goal of this talk is to provide an overview of ISO PAS 8926 content and its connection with the current ISO 26262 second edition. Moreover, it will be the opportunity to introduce at a high-level the ISO 26262 initiatives related to the 3d edition and their planning.

Linux Plumbers Conference (Richmond, Virginia)
2023-11-13 - 2023-11-15
The Linux Plumbers Conference, the premier event for developers working at all levels of the plumbing layer and beyond, takes place in Richmond, Virginia on November 13-15. The event will be in-person at the Omni Richmond Hotel and remotely, however most of the presenters will be in-person. Learn more about the conference on the main conference website.

ELISA will be represented in a presentation by Philipp Ahmann, Technical Business Development Manager at Robert Bosch GmbH and Chair of the ELISA Project Technical Steering Committee. The session has been accepted but not yet scheduled. As details are updated, we’ll update our event listing.
November 14 at 4:30 – 5:15 pm: Putting Linux into Context – Towards a reproducible example system with Linux, Zephyr & Xen
Demos on embedded systems using Linux are plentiful, but when it comes to reproducing them, things get complicated. Additionally, on decent embedded systems Linux is only one part of the system and interacts with real-time operating systems and virtualization solutions. This makes reproduction even harder.
Within the Linux Foundation’s ELISA project, we started to create a reproducible example system consisting of Linux, Xen, and Zephyr on real hardware. This is the next step after we achieved a reproducible system with a pure Linux qemu image.
The idea is to have documentation, a continuous integration including testing, which can be picked up by developers to derive and add their own software pieces. In this way they should be able to concentrate on their use case rather than spending effort in creating such a system (unless they explicitly want this). We also show how to build everything from scratch. The assumption is that only in this way it is possible to get a system understanding to replace elements towards their specific use cases.
We had challenges finding good hardware, tools, freely available GPU drivers and more and we are still not at the end. A good system SBOM is also creating additional challenges, although leveraging the Yocto build system has provided some advantages here.
While we are setting up the first hardware with documentation from source to build to deployment and testing on embedded hardware, we aim to have at least two sets of all major system elements like Linux flavor, a choice of virtualization technique, real-time OS and hardware. Only when software elements and hardware can be exchanged, we identify clear interfaces and make a system reproducible and adoptable.
Open Questions are:

What will be a good next hardware to extend this PoC scope?
Where do open source, security, safety, and compliance come best together?
Which alternative real-time operating systems and virtualization should be incorporated?

ELISA Seminar - The Road to Safe Space Exploration
2023-11-01 10:00 - 11:00 (America/Los_Angeles)
The ELISA Project hosts Seminar Series to bring in core contributors and thought leaders from both the ELISA community and adjacent communities to share knowledge and expertise on open source safety activities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: The Road to Safe Space Exploration
Date: re-scheduled to Wednesday, November 1, 10:00 -11:00 PDT / 17:00-18:00 UTC / 18:00 – 19:00 CET (originally scheduled for October 11)
Speaker: Ivan Perez Dominguez, Senior Research Scientist, KBR Inc @ NASA Ames Research Center
How to Attend: please email info@elisa.tech to receive the virtual access details
Abstract:
The current stage of space exploration has brought with it an increase in the complexity of systems deployed, in the number of players involved, and in the need for autonomy. This talk describes two efforts taking place at NASA to help on that front. One the one hand, the use of runtime monitoring with Ogma and Copilot makes it possible to assure applications that are otherwise too costly to verify formally or test fully. On the other hand, the use of Kaiaulu to process information about version control systems and issue trackers facilitates providing evidence of compliance with software engineering requirements, and to minimize deviations from the software plans. We believe that, together, they can enable more complex autonomous systems in space applications and shorten the time to that it takes systems to be put in production.

ELISA Workshop - Munich
2023-10-16 12:00 - 2023-10-18 12:00 (Europe/Berlin)
The ELISA Project hosts in-person workshops on a regular basis to gather the project community to further collaboration, accelerate working group progress, and plan for future goals. The next workshop will be held October 16-18 in Munich, Germany. We strongly encourage in-person participation for the best collaboration; a virtual component is available for those who can’t attend in person. The event will be co-hosted by Red Hat, an ELISA Member company.
Location: Red Hat Munich Office, Werner-von-Siemens-Ring 12, 85630 Grasbrunn, Germany and virtual
Date/Time: 12:00pm CEST October 16 to 12:00pm CEST October 18
Meals: Breakfast and lunch will be provided on site on all days. Dinner will be provided offsite on the 1st day
Accommodation: search for hotels around Berg am Laim station
Cost: free to attend, in-person registration will be capped at 25
Registration is required to attend. Please complete the registration form to reserve a spot and to help us with event planning.
Schedule (all times in local CEST)
October 16 (half day in the afternoon)

12:00 – 13:00 lunch onsite
13:00 – 14:00 AMA (Ask Me Anything) about Enabling Linux in Safety Applications (introduction, opportunity for new participants to ask core contributors questions)
14:00 – 15:00 discussion: identification of “core” part of the kernel that is present in all set of config images (facilitated by Kate Stewart, The Linux Foundation, Lukas Bulwahn, Elektrobit)
15:00 – 15:45 BASIL – a new open source tool for tracing requirements, code and tests (Luigi Pellecchia, Red Hat)
15:45 – 16:00 break
16:00 – 16:45 automotive SPICE SWE processes for complex Open Source Software (Lukas Lansku, Suse)
16:45 – 17:00 wrap up and review schedule for next 1.5 days and make adjustment if needed
18:00 – 20:00 dinner offsite at Truderinger Wirtshaus

October 17 (full day)

8:00 – 9:00 breakfast on site
9:00 – 10:00 a systematic approach to using the Linux kernel in a safety scenario (Igor Stoppa, NVIDIA)
10:00 – 10:55 update on planned processes for safety analysis and documentation of ELISA results (Paul Albertella, Codethink)
10:55 – 11:05 break
11:05 -12:00 runtime verification monitors’ contribution to kernel safety claims (Gabriele Paoloni, Red Hat and Daniel Bristot de Oliveira, Red Hat)
12:00 – 13:00 lunch on site
13:00 – 13:30 Why functional safety needs SPDX (Nicole Pappler, Alekto Metis)
13:30 – 14:30 discussion: current challenges to comply with different aspects of the ISO26262 and which ingredients or techniques are currently available in Linux and where gaps exist (facilitated by Gabriele Paoloni, Red Hat and Christopher Temple, Arm)
14:30 – 15:00 the “big picture” document update, questions, and input (Philipp Ahmann, Bosch, and Olivier Charrier, Wind River)
15:00 – 15:30 break
15:30-16:00 collaboration opportunities with adjacent communities to enable Linux in safety applications (Philipp Ahmann, Bosch)
16:00 – 16:30 update on real-time analysis in the context of safety-critical systems (Rob Wooley, Windriver)
16:30 – 17:00 wrap up and review action items

October 18 (half day in the morning)

8:00 – 9:00 breakfast on site
9:00 – 10:00 technical deep dive into BASIL – an open source tool for tracing requirements, code and tests (Luigi Pellecchia, Red Hat)
10:00 – 10:30 break
10:30 – 11:00 strategy and path towards a demo in 2024 (Philipp Ahmann, Bosch)
11:00 – 11:30 ELISA Project technical strategy update based on Workshop participants’ input
11:30 – 12:00 wrap up and next steps
12:00 – 13:00 lunch on site

ELISA Seminar: Introducing Basil: an open source tool for tracing requirements, code & tests
2023-09-27 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Introducing Basil: an source tool for tracing requirements, code & tests
Date: Wednesday, September 27, 7:00-8:00 am PDT/10:00-11:00 pm EDT / 16:00-17:00 CEST / 14:00-15:00 UTC
Speaker: Luigi Pellecchia, Senior Software Quality Engineer, Red Hat
How to Attend: Register in advance to attend for free. Upon registering, you will receive a confirmation email containing information about joining the meeting. Please don’t forget to add the event to your calendar from the confirmation email.
Abstract:
Basil is a tool developed to support Software Specification analysis, testable requirements definition and coverage. It comes with a web user interface and also a simplified view of work item relationships. As per the complexity and non uniformity of toolchains used in the automotive field, and in general to support functional safety effort, Basil will also provide a rest web api and SPDX data import/export.

ELISA Seminar: Xen Safety Certification: progress so far and plans for the future
2023-09-06 07:00 - 08:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Xen Safety Certification: progress so far and plans for the future (hosted by ELISA Aerospace Working Group)
Date: Wednesday, September 6, 7:00-8:00 am PDT/10:00-11:00 pm EDT / 16:00-17:00 CEST / 14:00-15:00 UTC
Speaker: Stefano Stabellini, Fellow at AMD, Xen Hypervisor & Linux Kernel Maintainer
How to Attend: Register in advance to attend for free. After registering, you will receive a confirmation email containing information about joining the meeting. And don’t forget to add the event to your calendar from the confirmation email.
Abstract:
Xen Project is a static partitioning hypervisor for embedded, from aerospace to industrial and automotive. Xen enforces strong isolation between domains so that one cannot affect the execution of another. Features such as cache coloring reduce interference and improve interrupt latency and determinism. A real-time workload can run alongside a more complex guest. But can it be used in safety-critical environments?
The Xen hypervisor has a microkernel design: services and tools are non-essential and run in unprivileged VMs, while the core is less than 50K LOC. This architecture lends itself well to safety-critical applications as only the hypervisor core is critical and needs to go through the certification process.
This presentation will describe the activities of the Xen FuSa SIG (Special Interest Group) to make Xen easier to safety-certify. It will highlight the most significant improvements introduced in the last 12 months to align Xen with safety standards such as DO-178C and ISO 26262. It will go into detail on MISRA C compliance, its latest status, and the next steps to close all the outstanding MISRA C gaps. It will discuss the role of Gitlab-CI and how to keep the Xen codebase MISRA C compliant without major efforts.
The Xen community has a clear path ahead to achieve the safety certification of the hypervisor. This talk will discuss it focusing on the most impactful changes to the Xen codebase and Xen community processes.
For all upcoming ELISA Working Group meetings and public seminars please go to https://lists.elisa.tech/calendar.

ELISA Seminar: Automating Adherence to Safety Profiles After Fixing Vulnerabilities
2023-08-30 09:00 - 10:00 (America/Los_Angeles)
ELISA Project Seminar Series focuses on hot topics related to ELISA’s mission to define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification. Speakers are members, contributors and thought leaders from the ELISA Project and surrounding communities. Each seminar comprises a 45-minute presentation and a 15-minute Q&A, and it’s free to attend.
Title: Automating Adherence to Safety Profiles After Fixing Vulnerabilities
Date: Wednesday, August 30, 9:00-10:00 am PDT/12:00-13:00 pm EDT / 18:00-19:00 CEST
Speakers: Kate Stewart, VP Dependable Systems, The Linux Foundation, Nicole Pappler, AlektoMetis
How to attend: Register to attend for free. You will receive a confirmation email with the virtual access details upon registering. And don’t forget to add the event to your calendar from the confirmation email.
Abstract:
Creating a critical safe or secure system generally comes down to two aspects. The system has to be able to meet the technical expectations to handle its criticality and there needs to be evidence these expectations are actually met. With today’s software systems being built by integrating various software components, more often using open source than custom proprietary solutions, it’s obvious that having complete and reliable evidence that the software is created with criticality considerations, such as safety profiles, in mind is key. Demonstrating the technical capabilities of a system to achieve the safety and security qualities can be done by established analysis methods. However, proving that its process provides the systematic evidence that all has been implemented, tested, built and configured as required, needs evidence of traceability from requirement to tests and release. Typically this evidence is locked within proprietary tools, never 100%, needing manual tasks to prove traceability between items. With continuous changes due to security updates or continuous deploys, managing this systematic evidence gets impossible.
This talk will present a model using SPDX, that allows for automated checks for integrity and availability of evidence to prove the systematic capability of software consumed by critical systems.
For all upcoming ELISA Working Group meetings and public seminars please go to https://lists.elisa.tech/calendar.

A Development Environment for DO-178C Level D Certified Linux
2023-07-18 07:00 - 08:00 (America/Los_Angeles)
The ELISA Project Seminar Series focuses on hot topics related to ELISA and its mission. Presenters are members, contributors and thought leaders from the ELISA Project and surrounding communities. Join us on Tuesday, July 18, 7-8 am PDT/10-11am EDT / 16:00-17:00 CEST for a seminar titled, “A Development Environment for DO-178C Level D Certified Linux.” There will be a 45-minute presentation by Chuck Wolber, Software Engineer at The Boeing Company and a 15-minute Q&A.
This event is free to attend an no registration is needed.

This talk, originally given at Open Source Summit North America, will feature the use of Yocto/OpenEmbedded as a tool for managing a distributed development environment, automated build and test, and ultimately delivering a DO-178C level D certified Linux platform into revenue service. It will also touch upon generalized aspects of traceability, team dynamics, “day one developer,”and extensibility.

How to attend: https://zoom.us/j/99484770870?pwd=[REDACTED]
Find your local number: https://zoom.us/u/adNSJH1ufP
Meeting ID: 994 8477 0870
Passcode: [REDACTED]

For all upcoming ELISA Working Group meetings and public seminars please go to https://lists.elisa.tech/calendar.

IEEE Space Mission Challenges for Information Technology - Space Computing Conference
2023-07-18 - 2023-07-21
The International Conference on Space Mission Challenges for Information Technology (SMC-IT) and the Space Computing Conference (SCC) gather system designers, engineers, computer architects, scientists, practitioners, and space explorers with the objective of advancing information technology, and the computational capability and reliability of space missions. The forums will provide an excellent opportunity for fostering technical interchange on all hardware and software aspects of space missions. The joint conferences will focus on current systems practice and challenges as well as emerging hardware and software technologies with applicability for future space missions.
Systems in all aspects of the space mission will be explored, including flight systems, ground systems, science data processing, engineering and development tools, operations, telecommunications, radiation-tolerant computing devices, reliable electronics, space-qualifiable packaging technologies. The entire information systems lifecycle of the mission development will also be covered, such as conceptual design, engineering tools development, integration and test, operations, science analysis, quality control.
The conference will run 18-21 July 2023, at Caltech, Pasadena, CA.
Kate Stewart, Vice President of Dependable Embedded Systems at the Linux Foundation, will give a keynote on Thursday, July 20 at 10:15-11:45 am about open source in space.
Learn more about the conference here.

Safety-Critical Software Summit (Prague, Czech Republic + Virtual)
2023-06-27 - 2023-06-30
As open source is found more and more in safety-critical applications, the need to evaluate open source software that meets safety standards has increased. The Safety-Critical Software Summit, sponsored by the ELISA Project, will take place on June 27-30 in Prague, Czech Republic and virtually. The event gathers safety experts and open source developers to enable and advance the use of open source in safety-critical applications.
Submit to speak here.
Sponsor here.
Learn more on the main event website here.

ELISA Workshop - Berlin
2023-06-20 13:00 - 2023-06-22 13:00 (Europe/Berlin) | Bosch IoT Campus, Ullsteinstr. 128, Berlin, 12109, Germany
The ELISA Project hosts workshops on a regular basis to gather the community to further collaboration and accelerate progress and working group output. The next workshop will be held June 20-23 in Berlin, Germany. A virtual component is added to the 2nd and 3rd day of the event. The event will be co-hosted by Bosch, an ELISA Member company.
Location: Bosch IoT Campus Ullsteinstr. 128, 12109 Berlin
Start Date/Time: 13:00 CEST June 20
End Date/Time: 12:00 CEST June 22
Meals: Dinner will provided on June 20 and lunch will be provided on June 21
Cost: free to attend, in-person registration will be capped at 25
Registration is required to attend. Please complete the registration form soon to reserve a spot and to help us with event planning.
Schedule (all times in local CEST)

June 20

1 – 1:30 pm – opening, agenda review and introductions if needed
1:30 – 3:00 pm – continue to refine the big picture document (Olivier Charrier, Wind River, and Philipp Ahmann, Bosch)
3:00 – 3:15 pm – break
3:15 – 4:45 pm – pragmatic guide to best practices for open source contributors to facilitate safety in the future (Kate Stewart, The Linux Foundation)
4:45 – 5:00 pm – wrap up and any adjustments to schedule
6:15 – 8:00 pm – dinner at Dolden Mädel Ratsherrn Braugasthaus (Mehringdamm 80, Berlin)

June 21 (virtual access available, please register to receive the virtual access details)

9:00 -10:30 am – safety analysis approach (Paul Albertella, Codethink)
10:30 -10:45 am – break
10:45 -12:00 pm – STPA (like) inside the Kernel (Gabriele Paoloni, Red Hat, Paul Albertella, Codethink, and Raffaele Giannesi, Huawei/Evidence)
12:00 – 1:00 pm lunch
1:00 – 1:30 pm – ksnav tool current status and how to apply (Gabriele Paoloni, Red Hat, and Alessandro Carminati, Red Hat)
1:30 – 2:30 pm – manpage derived requirements and manpage driven testing (Gabriele Paoloni, Red Hat, and Luigi Pellecchia, Red Hat)
2:30 – 2:45 pm pmbreak
2:45 – 3:45 pm – evolution of the system demo and safety analysis of systems where Linux is a component (Philipp Ahmann, Bosch)
3:45 – 5:00 pm targets for upstreaming to Linux kernel for remainder of the year (Shuah Khan, The Linux Foundation)
5:00-5:15 pm – wrap up

June 22 (virtual access available, please register to receive the virtual access details)

9:00 – 10:00 am – revisit project messaging (all)
10:00 – 11:00 am – review of change management workflow, and proposed approach document to go to the working groups/TSC for approval (all)
11:00 -12:00 pm – brainstorm ideas for community growth and engagement, adjacent community outreach and mutual alignment (all)
12:00 – 12:30 pm – wrap up and next steps at Embedded Open Source Summit in Prague
12:30 pm – potential tour of Bosch campus for interested on-site attendees
