-
Notifications
You must be signed in to change notification settings - Fork 15
26 Jun 2024
Philipp Ahmann edited this page Jun 26, 2024
·
3 revisions
* indicates TSC voting members
- *Philipp Ahmann
- *Matt Kelly
- *Matt Weber
- *Kate Stewart
- Naresh Ravuri
- *Christopher Temple
- Olivier Charrier
- *Gabriele Paoloni
- Steve VanderLeest
- *Alessandro Carminati
- *Sudip Mukherjee
- Pete Brink
- *Paul Albertella
- Youssef Hajjioui
- JE[A]Y
- *Lukas Bulwahn
- Vipul Gupta
- Action items in github issues
- New Aerospace WG chair announced.
- Enhancement ongoing on DRAFT - ELISA SBOM Generation document.
- Schedule a meeting next week to continue.
- Call-to-action from last community day.
- Systems WG process & tools initial commit in Systems WG Wiki
- qemu ARM "hardware"
- Arch WG started
- Main discussion started in LFSCS with tiny config, which is not sufficient.
- Many dependencies are created by kernel version and architecture.
- Start to analyse a simple program with small calculation to set some claims on what is used by a simple calculation.
- What is the address space, what happens on context switch.
- Expand scope step by step.
- This fits to the idea of design elements as considered by OSEP (Paul, Olivier).
- design elements are in definition level on what it is.
- capture assumptions of use for integration elements
- integration element cannot be traced to a function but are needed to support safe integration
- LFSCS work can be used as an input for OSEP.
- Consider also OSEP PR material in LFSCS.
- Follow up information based on last call: AGL provides a ARM based qemu release.
- Topic will continue in next TSC meeting.
- Link: Safe Systems with Linux
-
CFP is open now until 10-Jul-2024
- https://lpc.events/event/18/abstracts/#submit-abstract
- Scroll down to the end of the page and click on the buttom to submit an abstract
- You can select the track of choice incl. MC
- 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
- Where do we want to upstream the work we are doing? -> E.g. where do maintainers want requirements?
- Minimal Kernel and Analysis can be another topic.
- AI-Philipp: Drop a mail to Steven that we extend the deadline to July 10th.
- Systems
- SBOM (see above)
- Dev process (see above)
- Automotive
- Aligned with AGL to discuss about future use cases at AGL AMM
- Base traction with new members from Canonical and Elektrobit. Looking for an OEM to support.
- Tools
- Change impact analysis tooling (with support from Matt W)
- Live instance of Basil now available: http://elisa-builder-00.iol.unh.edu:9056/
- Arch
- Evaluate short term and long term goals based on Lund workshop
- For core parts of kernel wait for more mature state from OSEP and LFSCS
- Improving kernel documentation and involving experts. -> Work on an RFC
- Can there be a template for the kernel documentation? There is no template for kernel internals.
- Would be a topic for the microconf. (Will not be mature for the refereed track)
- Medical
- Work on requirements and new PR under review
- OSEP
- Definition about integration elements and functional elements start.
- Base on design elements started.
- Skip TSC Meeting July 24th?
- Past webinars on website: https://elisa.tech/seminar-series/
- stress-ng update -> Scheduled for June 26 (today)
- 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
- 17-18 Jul AGL All Member Meeting in Berlin (Germany)
- 16-18 Sep Open Source Summit Europe in Vienna (Austria)
- CfP open (between June 16 and July 10): 18-20 Sep Linux Plumbers in Vienna (Austria)
- 22-24 Oct OCA (Eclipse Automotive Conference) in Stuttgart area (Germany)
- CfP open (July 7): 28-29 Oct Open Source Summit Japan in Tokyo area (Japan)