Minutes 07 Dec 2023

Host: Paul Albertella

Participants: Igor Stoppa, Sebastian Hetze

Agenda:

• 'Proven in use' PR from Sebastian [1]
  • 'Test case' for a review/publish workflow
  • Discuss criteria for approval and next steps
• Vice-chair for OSEP?
  • Suggested new role for all ELISA WGs
  • Proxy for WG chair when unavailable (e.g. to run/attend meetings)
• Update on 'Igor's known issues list' and document
  • (We need a better name for this!)
• Update on Basil
  • Example use case from Gab/Luigi?

Discussion

• Igor still hopes to publish his document before the end of the year
• Gab and Luigi cannot attend today, but hope to have a Basil use case by next week
• Regarding the PiU document:
  • Many of Igor’s comments are more general issues with making a safety case for Linux (and other OS)
  • We could either add a note in the document referencing the issue or we can track it in a GitHub issue in the repository
• Sebastian has a conflict at this time; trying to resolve this
• Also hoping that there will be more engagement from German rail participants
• Publishing process
  • Who says ‘now we are ready’?
  • Resolve comments with fixes in document or Issues to track in GitHub
  • Give other participants the opportunity to comment
  • When ready to merge, announce on mailing list to give last-minute reviewers, one week to comment