Topics

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).  

 


This e-mail may contain privileged or confidential information. If you are not the intended recipient: (1) you may not disclose, use, distribute, copy or rely upon this message or attachment(s); and (2) please notify the sender by reply e-mail, and then delete this message and its attachment(s). Underwriters Laboratories Inc. and its affiliates disclaim all liability for any errors, omissions, corruption or virus in this message or any attachments.


Lukas Bulwahn
 

On Thu, 17 Sep 2020, Brink, Peter via lists.elisa.tech wrote:


Sorry, I missed this morning.

 

Is this documentation from Jochen and Kate available to share?

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.
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:


Sorry, I missed this morning.

 

Is this documentation from Jochen and Kate available to share?

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