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
