18 Dec 2024

Roll call

** indicates TSC voting members*

Host

• *Philipp Ahmann

Attended this meeting

Regrets

Attended recently in the past

• *Olivier Charrier
• *Alessandro Carminati
• *Gabriele Paoloni
• Naresh Ravuri
• *Nicole Pappler
• *Matt Kelly
• *Kate Stewart
• *Igor Stoppa
• *Matt Weber
• Elana Copperman
• *Sudip Mukherjee
• *Paul Albertella
• Pete Brink
• *Lukas Bulwahn
• *Christopher Temple
• Steve VanderLeest
• Youssef Hajjioui
• JE[A]Y
• Vipul Gupta
• *Igor Stoppa
• 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

ELISA Workshop at NASA Goddard - recap

ELISA result database [cont.]

Publishing of (individual) results [cont.]

Requirements within the Kernel

• ...

Optional: Short status from WGs - Skipped

Up to 3 bullet points

• Aerospace/Space
• Automotive
• Medical
• Arch
• Linux Features
• OSEP
• Tools
• Systems

AoB

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 next year:
• ELISA user story by a company.
• Julia Lawall about formal verification (derived from Lund Linux Con presentation

Upcoming events

• 01-02 Feb Fosdem in Brussels (Belgium)
• AGL AMM Tokyo
• Embedded World Nurenburg

Remarks

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