30 Apr 2025

Roll call

** indicates TSC voting members*

Host

• *Philipp Ahmann

Attended this meeting

• *Kate Stewart
• *Nicole Pappler
• *Alessandro Carminati
• *Luigi Pellecchia
• *Matt Weber
• *Sudip Mukherjee
• Pierre Brangier
• *Gab Paoloni
• *Igor Stoppa
• *Paul Albertella

Regrets

Attended recently in the past

• *Christopher Temple
• *Nicole Pappler
• *Olivier Charrier
• *Kate Stewart
• Pierre Brangier
• Patrick Uven
• *Paul Albertella
• *Igor Stoppa
• *Alessandro Carminati
• *Gabriele Paoloni
• *Matthew Weber
• *Matt Kelly
• *Sudip Mukherjee
• *Lukas Bulwahn
• Henrik Brandle
• Patrick Uven
• Sebastian Hetze
• Panos Kalorog
• Pete Brink
• Michael Mahoney
• Jaylin
• Naresh Ravuri
• Elana Copperman
• Steve VanderLeest
• Qasim

Topics & Notes

Check past action items

• Action items in github issues
• https://github.com/elisa-tech/tsc/issues
• AI-Paul: Discuss in OSEP WG meeting where to put the "good practices for Open Source" document
  • Discussed, but not a proposal yet
• AI: EMQ SDV WG ideas to be added to one of next TSC meeting agenda
  • Philipp dropped a mail to Jaylin.

ELISA WS next week

• Time & date: May 7-9 at Volvo in Lund Sweden (like last year)
  • Airport CPH, local train to Lund (about every 20 minutes)
  • Hotel: e.g. Elite Ideon
  • Logistic details from last time (2024): https://elisa.tech/event/elisa-workshop-lund/
  • Visit MAX4 or other research facility on Friday afternoon after workshop.
• Agenda prepared and released. Registration open:
  • https://elisa.tech/event/elisa-workshop-lund-2025/
  • currently 34 in person registrations, wait list for in person or virtual participation still available
  • (Not everyone will be there all 3 days.)

Eclipse SDV WS upfront to ELISA WS

• https://www.eclipse-foundation.events/event/330e7e66-de49-41f1-98db-7c579c97bd78/home
• Waitlist open.
• If you want to join and are early in Lund consider "party-crashing". You are welcome ;)

AGL request to submit to conference in Taiwan

• COSCUP x RubyConf Taiwan 2025
  • SDV track "Software Defined Vehicle accelerated by Open-Source"
  • CfP deadline is May 11th (Asian time): https://pretalx.coscup.org/coscup-2025/cfp
  • Main language is English.
  • Seems to be the biggest conference in Taiwan.
  • It will be right after Open Source Summit India https://events.linuxfoundation.org/open-source-summit-india/

Upcoming Seminar by Pete

• Criteria and process for evaluating documentation for trustable software
• https://elisa.tech/event/elisa-seminar-criteria-and-process-for-evaluating-documentation-for-trustable-software/
• Scheduled May 21st 2025

Short status from WGs

Up to 3 bullet points

• Aerospace/Space
  • Aerospace Use case demo
    • Docs (presenting in May Aero WG call) - https://github.com/elisa-tech/wg-aerospace/tree/main/demos/copilot
    • CI build - https://github.com/elisa-tech/wg-aerospace/actions/workflows/ci.yml
  • Restart whitepaper on aerospace and space - If interested, this is one of the main topics in our monthly calls. Current copy of doc - https://github.com/elisa-tech/wg-aerospace/tree/main/docs
    • Aerospace is now meeting twice a month with 30mins after the SGL call to work on this doc
  • Space has initial PRs open!!!! - https://github.com/elisa-tech/meta-sgl/pulls
• Automotive
  • Jan-Simon from AGL offered support to bring up the meta-elisa again.
  • Jan-Simon prepared a pull request today. Sudip plans to review.
• Medical (looking for new use case)
• Arch
  • Requirements proposal discussed with Steve Rostedt.
  • Direction and next steps discussed: Push upstream the semantic behind requirements.
  • Continue working on formalizing requirements for other functionalities
  • Preps for OSS NA and for ELISA WS in Lund ongoing.
• Linux Features
  • Minimal requirements for a system finished
  • Process VMA is next thing for deeper exploration. So far good participation on this.
• OSEP
  • Review criteria, where Pete will give a seminar on.
  • Safe vs Safety preps.
• Tools
  • Conversation with Rinat and Troy from InfoMagnus on Continuous Certification Framework and BASIL
    • SPDX as exchange format
    • Evaluate with Zephyr as starting point
• Systems
  • New repo planned for best practices called "lighthouse-oss"
  • Now starting to collect literature evidence on modern SW development and OSS
    • May be relevant: https://www.gov.uk/government/publications/open-source-software-best-practice-supply-chain-risk-management/open-source-software-best-practices-and-supply-chain-risk-management
  • So far more than 40 responses to the survey
  • Example system will become more important as collaboration with AGL
  • Troy plans to present about Cont. Compliance Architecture at May 12th meeting

AoB

• CfP for miniconfs at Plumbers is opening soon. We need to prepare the Safe Systems with Linux proposal soon.

Announcements

Topics for seminar series

• To be defined: SDV seminar by EMQ to motivate the update and cloud part of HPC systems
• RT webinar once PREEMPT_RT as last patch is mainline.🥳
• Past webinars on website: https://elisa.tech/seminar-series/
• Later this year:
• ELISA user story by a company.
• Julia Lawall about formal verification (derived from Lund Linux Con presentation)

Upcoming events

• 14-15 May - Linaro Connect
• 20-21 May - safe.tech by TÜV
• 27-28 May - Lund Linux Con

Remarks

Collaborative editing: https://mensuel.framapad.org/p/elisa-tsc-minutes-a9tp?lang=en