Extended working session on mapping safety standards to kernel evidence
|
elana.copperman@...
One of the goals of the Kernel Development Process Working Group is to define a safety assessment process which is accepted by the safety community and aligned with relevant standards. But at the same time, the assessment process should help to focus on the relevant features of the Linux kernel as a software product.
Jochen Kall and Kate Stewart have compiled an initial mapping of relevant safety standards to be mapped on to kernel evidence in the domain of software development / validation. We will use this session to drill in to the details of their proposal, based on preliminary technical work done to document existing Linux kernel development tools and processes. Our goal is to focus on Kernel Test tools and processes for this exercise. We will not focus on testing of the Linux kernel as part of the system in which it will be deployed.
We aim to walk through the framework proposed by Jochen and Kate and to tie it in to the documented evidence related to kernel testing. The session is aimed at those who are experienced in kernel testing, as well as those who are experience in the relevant safety standards (primarily ISO26262 and IEC61508).
|
|
|
|
Brink, Peter
Sorry, I missed this morning.
Is this documentation from Jochen and Kate available to share?
Pete
From: devel@... <devel@...>
On Behalf Of elana.copperman via lists.elisa.tech
Sent: Thursday, September 17, 2020 3:26 AM To: devel@... Subject: [ELISA Technical Community] Extended working session on mapping safety standards to kernel evidence
One of the goals of the Kernel Development Process Working Group is to define a safety assessment process which is accepted by the safety community and aligned with relevant standards. But at the same time, the assessment process should help to focus on the relevant features of the Linux kernel as a software product.
Jochen Kall and Kate Stewart have compiled an initial mapping of relevant safety standards to be mapped on to kernel evidence in the domain of software development / validation. We will use this session to drill in to the details of their proposal, based on preliminary technical work done to document existing Linux kernel development tools and processes. Our goal is to focus on Kernel Test tools and processes for this exercise. We will not focus on testing of the Linux kernel as part of the system in which it will be deployed.
We aim to walk through the framework proposed by Jochen and Kate and to tie it in to the documented evidence related to kernel testing. The session is aimed at those who are experienced in kernel testing, as well as those who are experience in the relevant safety standards (primarily ISO26262 and IEC61508).
|
|
|
|
On Thu, 17 Sep 2020, Brink, Peter via lists.elisa.tech wrote:
Have fun: https://docs.google.com/spreadsheets/d/1RpPCdRoCJf_MOdOVGIeuWYwLmOyfKlQIEQJyWOaE33A/edit?usp=sharing Look at Comments_26262, Observed Execution of Linux Kernel, Further Investigation, Review Comments. Lukas |
|
|
|
elana.copperman@...
In addition to this link, there was a very productive discussion on a modified way forward.
toggle quoted message
Show quoted text
Please see the meeting notes (there is a link to the notes in the meeting invite), and follow up on the email thread which Paul Albertella has just kicked off. As Lukas wrote, we are in for a lot of fun here. Regards Elana -----Original Message-----
From: Lukas Bulwahn <lukas.bulwahn@...> Sent: Thursday, September 17, 2020 7:35 PM To: Peter.Brink@... Cc: Elana Copperman <Elana.Copperman@...>; devel@... Subject: Re: [ELISA Technical Community] Extended working session on mapping safety standards to kernel evidence On Thu, 17 Sep 2020, Brink, Peter via lists.elisa.tech wrote: Have fun: https://hes32-ctp.trendmicro.com:443/wis/clicktime/v1/query?url=https%3a%2f%2fdocs.google.com%2fspreadsheets%2fd%2f1RpPCdRoCJf%5fMOdOVGIeuWYwLmOyfKlQIEQJyWOaE33A%2fedit%3fusp%3dsharing&umid=a889b1d9-3e5b-4adb-a08a-d49ce916202d&auth=5bae49b6aabf5c5711c9dc1dd875044b773e22e6-6e4c2dc0384162adb63e58ac8758594f4dd3942f Look at Comments_26262, Observed Execution of Linux Kernel, Further Investigation, Review Comments. Lukas |
|
|