Minutes 2 Feb 2023

2023-02-02

Host: Paul Albertella Participants: Pete Brink, Daniel Krippner, Igor Stoppa, Kent Nelson, Elana Copperman, Gabriele Paoloni, Seb Boria, Raffaele Giannessi Agenda:

• Discuss OSEP and ELISA goals for 2023 Review progress on CPU Scheduling topic
• Details of any papers or other presentations we could do from an OSEP perspective
• Establishing criteria for the evaluation of the aforementioned papers and presentations (metrics)

Goals

• Document a quality set of assumptions of use for a system incorporating Linux when intended to be used as part of a safety-critical application
• Coordinate with Safety Architecture working group to review and formalise a description of the tailored STPA methodology that is being applying to the kernel to specify an architecture for the kernel and a hierarchy of constraints that can be assigned to individual subsystems
• Review Reference Process Documentation produced in an earlier piece of work by ELISA and consider whether his could be usefully published in some form
• Document known technical limitations, hazards or risks associated with specific Linux kernel features
• Identify and document mitigations for these limitations, hazards and risks

Papers?

• Pete: Discussion in ELISA Ambassadors meeting
• Papers for the Prague OSS that we could propose in the name of the OSEP WG
• Process expectations and considerations for FOSS in safety-critical applications
• Applying safety analyses to open source software
• Daniel: Linux conference in Lund (LLC) - talk about our approach there?
• Igor: Part 2 of talk from last OSS at Plumbers

Criteria / Metrics?

How do we decide whether a paper is something we would want to ‘endorse’?*