Skip to content

Workshop presentation archive

The following list contains results and work products from past ELISA workshops and meetings, conducted over several years.

Please note:

  • This workshop content should not be relied upon as definitive or final guidance from ELISA or the authors.
  • Due to the evolving nature of technology and our understanding of it, the accuracy and relevance of these results may change over time. The content provided should therefore be considered draft or provisional, and users are advised to exercise caution and verify the information independently.
  • This is not peer-reviewed content and it is intended only as a historical record of outcomes and discussions, to provide context for current ELISA activities.
  • Any decisions or actions based on the information in the workshop content should be made with careful consideration and further investigation as necessary.

December 2024 (Maryland)

Title Presenter(s) Last revisited
Welcomes + Orientation Michael, Philipp, Kate, Ramon 2024-12-11
Space Grade Linux Intro Michael Monaghan - NASA 2024-12-11
Lessons from Automotive Grade Linux Walt Miner - Linux Foundation 2024-12-11
Linking external Test Results to Test Cases in BASIL to support pre existing test infrastructures Luigi Pellecchia - Red Hat 2024-12-11
How to use ks-nav for a feasible and meaningful test campaign in the Kernel Alessandro Carminati - Red Hat 2024-12-11
Verification and Validation of the OS and "certification package" Scott Tashakkor - NASA 2024-12-11
Test and Assurance of Non-Volatile Memory Devices for Space Ted Wilcox - NASA 2024-12-11
Linux Kernel Design Documentation Gabriele Paoloni - Red Hat, Chuck Wolber - Boeing, Kate Stewart - Linux Foundation 2024-12-11
Space Grade Linux interest survey results Kate Stewart, Ramon Roche - Linux Foundation 2024-12-11
F prime Michael Starch - NASA 2024-12-11
Space ROS Ivan Perez - NASA 2024-12-11
cFS Overview Presentation Richard Landau, Ashok Prajapati (NASA) 2024-12-11
Investigating the Implementation of Linux-based Payload Computers: A Review of In-Orbit Demonstrations for Edge AI in Space Missions. Dongshik Won - TelePIX Co., Ltd. 2024-12-11
Container and immutable patterns for operating systems and workloads Michael Epley, Tony James - Red Hat 2024-12-11
Containerization in Space: Podman for Mission-Critical Operations and Resilience Dan Walsh, Douglas Schilling Landgraf -Red Hat 2024-12-11
Real Time Linux update Steven Rostedt - Google 2024-12-11
Building an OSS Ecosystem for Space Tim Bird - Sony 2024-12-11

June 2024 (Lund)

Title Presenter(s) Last revisited
Overall engineering approach to safety with systems involving Linux Paul Albertella, Igor Stoppa 2024-11-13

October 2023 (Munich)

Title Presenter(s) Last revisited
A Systematic Approach to Using the Linux Kernel in a Safety Scenario Igor Stoppa 2024-11-13
Update on Planned Processes for Safety Analysis and Documentation of Results Paul Albertella 2024-11-13

June 2023 (Berlin)

Title Presenter(s) Last revisited
Safety Analysis Approach Paul Albertella 2024-11-13
Reproducible Multi Element System Composition with Linux, Xen & Zephyr Philipp Ahmann 2024-11-14

September 2022 (Virtual)

Title Presenter(s) Last revisited
Automotive WG Update - Tell tales an evolution use case towards driver assistance Philipp Ahmann 2024-11-14
Systems WG - Status and Roadmap Philipp Ahmann 2024-11-14 outdated

YouTube recordings

November 2021 (Virtual)

Title Presenter(s) Last revisited
Certification using the New Approach to Safety Paul Albertella 2024-11-13

YouTube recordings


Additional workshops

  • April 2022 (Virtual) YouTube recordings
  • May 2021 (Virtual) YouTube recordings
  • February 2021 (Virtual)
  • September 2020 (Virtual)
  • May 2020 (Virtual)
  • January 2020 (Brussels)
  • September 2019 (Cambridge)
  • June 2019 (Munich)

Revisiting criteria

[//]: # "We should put this section into another more formal place, as it applies also to other material."

When content is contributed and added to the knowledge base, the following aspects should be considered.

  • Technical review of presentations to check for factual inaccuracies
  • Check that links included in the presentations are still accessible
  • Identify any other serious issues with the presentation content

As there can be a delay in uploading content to the knowledge base, the following aspect should be considered if material is not uploaded in a timely manner after actual presentation.

  • Check with the author if they would like to make changes to address any issues we find

Note: So far this is just a drafting idea under discussion and not enforced. It should basically help as a guidance. In case you spot anything in the material which need to be commented or updated, please raise an GitHub issue or PR.