04 Sep 2024 - 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
DONE AI-Min/Paul: Enable GitHub pages
- Enabled including sub-domain setting. Github pages should work

Survey to confirm availability is still open: https://forms.gle/n2uphHagQa4wB4Ek8
Target December 10 to 12th.
Location is not set yet.
- ZAL.aero events team contacted, no feedback yet. AI-Philipp: Reach out to ZAL again as dates are clear now.
- NASA (East coast) as potential location: AI-Kate: Reach out to NASA again as dates are clear now.

Draft to reach out to others prepared
Link to document
Now get in touch with foundations, universities and companies
Discussions took place in OSEP WG Aug 22nd
- Recaps from meeting:
- This does not meet the understanding of quality as Pete sees it.
- Low bug rate is a definition of quality it is just a valid measurement.
- For non-business-critical systems SW could be deployed and response (in form of incidents) can create valid/invalid requirements.
  - This is not seen as an option for safety-critical systems
- Companies have own definition on quality and do things differently to achieve same result.
- Bug is a requirement bug or an implementation bug.
- Requirements: What is written? What is implemented? How is this interpreted/understood by the user?
  - This is crucial when talking about Linux as the user experience on Linux/Unix was established 30 years+
- Quality processes is the other element to consider.
Look and feel work started in WIP PR https://github.com/elisa-tech/wg-systems/pull/16/
Some further reading on the definition of quality and sw quality:
- http://swebokwiki.org/Chapter_10:_Software_Quality
- https://www.computer.org/resources/what-is-software-quality

Last TSC meeting discussion 21 Aug 2024
Small repo prepared with buildroot patch to build bare minimal kernel with only initramfs (no mem or storage devices).
- https://github.com/alessandrocarminati/min_prog_trace
Active discussion in LFSCS meetings ongoing. [Meeting Minutes]
Boeing (Yanmei Guo) participated in LFSCS to talk about Boeing's minimal configuration. (Follow up from last TSC meeting)
first topic elaborated "chacha" as a dependency from crypto subsystem -> this was unexpected
- This is related to Random number generation, which is enabled in minimal kernel.
- Switching it off is possible. This will impact security. In this case safety and security may not have same requirements.
The framework and how the analysis is done is very important. So this analysis could be applied to different use cases later on.
- Consistency on what you do and how you do the analysis will be very valuable.
- Currently focus on system tracing with expected and unexpected behaviour.
- A bit of system top-down with subject matter experts to look at it from bottom up.

Up to 3 bullet points

Aerospace
- Got the Boeing minimal kernel example build into CI
- https://gitlab.com/elisa-tech/aero-wg-ci
- Finalizing survey for SGL / Aero user feedback on SIGs
Automotive
- meta-elisa porting from needlefish to ricefish is started as needlefish is out of support.
- Features ic-demo-support changed since needlefish, so investigation on new dependencies is ongoing
- Automotive meeting planned for OSS EU together with AGL (Walt)
Medical
- no report today
Arch
- pull request 15 merged: script to find un-referenced source code exporting symbols
- Continuing to work on "Evaluating and improving the Linux Kernel documentation" (https://docs.google.com/document/d/1isQiA37ahTFe3yMFmuYYla_FjiFPtrheySftS5CrXTQ/edit#heading=h.rr7y879pmnmm). We are very close to a first draft
OSEP
- see above for "what is quality"
Tools
- ksnav/delta-kernel conversation on next steps for change impact analysis
- talked about updating the kernel config checker to have profiles
Systems
- Good practices proposal making progress
- WIP PR started to also document some first thoughts.
- Feedback welcome. 😉
Linux Features
- It was discussed why chacha is needed and why we need some crypto parts even in a very small configuration.
- Minimal config is discussed
- See above

TODAY Meet the New KernelCI
- https://elisa.tech/event/elisa-seminar-meet-the-new-kernelci/
To be defined: SDV seminar by EMQ to motivate the update and cloud part of HPC systems
Past webinars on website: https://elisa.tech/seminar-series/
Later during the year:
- RT webinar once PREEMPT_RT is fully mainline.
- ELISA user story by a company.
- Julia Lawall about formal verification (derived from Lund Linux Con presentation