12 Jun 2024 - elisa-tech/tsc GitHub Wiki

Roll call

* indicates TSC voting members

Host

  • *Philipp Ahmann

Attended this meeting

  • *Matt Kelly
  • *Steve VanderLeest
  • *Alessandro Carminati
  • Matt Weber
  • *Sudip Mukherjee
  • Pete Brink
  • Olivier Charrier
  • Naresh Ravuri

Regrets

  • *Kate Stewart
  • *Gabriele Paoloni

Attended recently in the past

  • *Christopher Temple
  • *Paul Albertella
  • Youssef Hajjioui
  • JE[A]Y
  • *Lukas Bulwahn
  • Vipul Gupta

Topics & Notes

Check past action items

Change in Aerospace WG chair

  • Boeing would like to have broader engagement in ELISA
  • Matt Weber take over the chair duties for the Aerospace Working Group.
  • Martin Halle, the vice-chair will continue in his role and is supportive of this change
  • TSC need to agree on the change with a vote. Will be done via TSC voting mailing list.
    • AI-Philipp: will drop a mail on the TSC voting mailing list.
  • When Matt Weber is confirmed, Steve will step back from the TSC as a voting member.

Lund workshop recap

  • link to Wrap up slides
  • Blog post is in prep
  • Workshop well received by Volvo with many questions, strong commitment with statements on importance of OSS and Linux
  • Volvo proposed to seminars on SEooC and on Formal Verfication
  • Volvo participated with average 7 engineers during the 2 days.
  • They brought many from Lund Linux community like from Linaro, Western Digital and others.
  • Survey is out. Results will be presented in a later TSC.
    • Wish also more time to discuss.
    • Write down a guide for the next workshop to incorporate feedback properly in next workshop planning.
  • Lots of hallway track discussion, making it hard to keep the schedule.
    • making formal breaks longer
    • 20 minutes of presentation gives room for 20 minutes of questions and discussion (in average)
    • consider breaks between sessions.
  • Next workshop considered towards November, host and location to be decided.
    • Due to room size audio need to improve for virtual audience next time, like using the microphone from laptops of speaking person.

Lund workshop action items

  • Continue the OSEP discussions on Framing of the issues
  • Explore using design elements (what is a design element, actually?)
    • Working on this within OSEP working group with Paul and Olivier
    • As of lack of use case define a simple use case (like scheduling) and take assumptions (like one scheduler at a time).
    • This can lead to a group of design elements for project to use specific features based on the design element.
    • Build a later project design using design elements.
  • Additional seminars (see announcements) about formal verification and about SEooC
  • Fill the core of the kernel document
    • Cross WG activity between Systems, LFSCS and Arch WG
  • Formalize the development/integration process of how the kernel community operates incl. CI/CD also for end user integration as a standard (from the dinner and breakfast discussions)

The core parts of the kernel [cont.]

  • Proposal during workshop was to start with tiny config
  • https://tiny.wiki.kernel.org/
  • Discussion also continues in LFSCS.
  • a "hardware" (could be qemu) is needed.
    • Is ARM qemu possible?
  • LFSCS takes the discussion
  • Qemu can be good to look at a system, but also focus on the Kernel and the Linux OS.
    • Emulation may not be as accurate as a real system, but also in the ARM world the system behave different on the differnt SoC variants.
    • ARM qemu would be great, as it has less dependency to the firmware (example legacy function, ACPI)

Linux Plumbers microconf

  • Link: Safe Systems with Linux
  • CFP is open now until 30-June-2024
  • Refereed Track Presentations Proposals can also be good to submit as opener for the Microconf
  • Registration is open now: https://lpc.events/event/18/page/226-attend
  • Submissions for BASIL and ks-nav on technical level as overview expected for refereed track
  • Discussions and questions for the microconf
  • Topics from Boeing to get submitted as well.
  • Submission for Safe Systems with Linux as a "setting the scene" session needed.

AoB

  • ...

Announcements

First half year topics for webinar series

  • Past webinars on website: https://elisa.tech/seminar-series/
  • stress-ng update -> Scheduled for June 26
  • Later during the year:
    • Have something about SOTIF, depending on discussions during June workshop.
    • RT webinar once PREEMPT_RT is fully mainline.
    • ELISA user story by a company.
    • Håkan Sivencrona about SEooC
    • Julia Lawall about formal verification (derived from Lund Linux Con presentation

Upcoming events