27 May 2025 - elisa-tech/tsc GitHub Wiki

Roll call

** indicates TSC voting members*

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
- Closing this item. Will be done in "lighthouse-oss" repository
- https://github.com/elisa-tech/lighthouse-oss
AI: EMQ SDV WG ideas to be added to one of next TSC meeting agenda
- Continue discussion, already involvement in AGL SDV activties by EMQ.
- Chat also with Walt about it.

Always a few audio issues as virtual, but overall worked good (and better than last workshop)
Interesting sessions and also the discussions. Onsite experience was good.
In person was easier to follow than remotely. Discussions offline happened, this is hard to follow. Remotely, you easily loose the discussion thread.
Room was setup in 2 groups with U shape plus audience in the back. -> Room constraints.
Check the audience background (where possible upfront) to e.g. skip some intros about functional safety or explicitly add it.
- Could also be something for the intro session.
Catchbox could be a great addition and create dynamics.
Poll / Small game created interaction -> Maybe leverage this a bit more day by day, like the word cloud.
Also for further feedback (e.g. the day after)
AmA session links very well with introduction and audience expectation.
More time for discussion was there and the ratio of presentation and discussion was good
More demos? -> Jan-Simon presented the meta-elisa demo
More time to talk about topics at the end. Block 2h at the end without the agenda. Or also during the workshop.
- Room for unconference session. (Observe time zones and remote participation.)

Up to 3 bullet points

Aerospace/Space
- Whitepaper abstract set, working intro and guidance for contribution of sections
  - Added 30 mins to the end of the AGL call to tie-in Space focused stakeholders
- Use case validation team
  - Completed native validation example (tie'n results into CICD)
  - Attracted two more participants to weekly call
  - Martin discussing starting student projects for some of our outstanding tasks
  - Starting to build a ARM64 emulation based on minimal kernel to re-target the native validation against
- Space
  - Working towards merge of first pull request
    - Hardware/emulation targets
    - Repo mgmt tool (kas/repo)
    - Yocto release
    - Layer structuring based on intended use (e.g., -core strategy)
  - Roadmap
    - Skeleton of a layer
    - CICD
    - Docs
    - SBOM
    - Footprint tracking/analysis
  - Actions: Kickoff Docs effort / Plan for adding cFS layer / Default feature set proposal
Automotive
Medical (looking for new use case)
Arch
Linux Features
OSEP
Tools
Systems

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)