Hello everyone, Welcome! I would to welcome everyone on this list and kick off the technical discussion on the challenges and activities around Enabling Linux in Safety Applications. I think we should

Dear all, Linux Foundation is participating as Google Summer of Code umbrella organisation and some experts around ELISA, Nicholas McGuire, Julia Lawall, Ralf Ramsauer and me, have put together some s

Helli Lukas I would like to join on webex on this topic. Thanks Poonam

Hi all, So this thread is for Brainstorming on potential activities. I think every activity should provide a general motivation in this context, describe the high-level goal, the needed activities, th

Hi all, From the discussion with Nicholas, I created a high-level summary of one first central task that I see around Enabling Linux in Safety Applications. As we do not have a public safety complianc

Dear all, I rewrote/rephrased Nicholas' False positive management infrastructure (I name it: Verification tool finding management, which is also still clumbsy but at least it does not suggest just man

Dear all, I tried to record some relevant time zones for the preparation of our Webinar series. I am considering possible dates in the week 2019-05-06 to 2019-05-10 or 2019-05-13 to 2019-05-17. Tokyo,

Hi all, From the previous discussion, I created a new Task Proposal. It is rather a Preparation Task for further activities. Goal: Define Assumed System and Requirements to provide a starting point fo

Hi all, I would like to set up a small ELISA Webinar series on topics around Enabling Linux in Safety Applications. So far, we had two first suitable topics: 1. Validas' Approach to qualification kits

Dear all, In a personal communication, I have been asked for good introduction literature around Enabling Linux in Safety Applications. I think the important topics are: - Functional Safety in general

A new poll has been created: Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508 Referee: Dr. Oscar Slotosch, Validas Agenda: Recent thoughts a

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508 Referee: Dr. Oscar Slotosch, Validas Agenda: Recent thoughts and methods how to build a QKi

Update: Now with Link to Skype Meeting, see below. Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508 Referee: Dr. Oscar Slotosch, Validas Age

Linux Driver Verification & KLEVER: Applying formal methods on the Linux kernel for various years Presenter: Evgeny Novikov, ISPRAS Date: 2019-05-27 Time: 22:00 JST; 21:00 CST; 16:00 MSK; 15:00 CEST;

A new poll has been created: Linux Driver Verification & KLEVER: Applying formal methods on the Linux kernel for various years Presenter: Evgeny Novikov, ISPRAS Date to be voted. Time: 22:00 JST; 21:0

Dear all, Nicholas McGuire and Markus Kreidl made a snapshot of the current sil2linux repository publicly available here: git clone https://user:user@.../gitolite/git/SIL2LinuxMP You can find more rep

Dear all, I just wanted to quickly share with you some recent news concerning Google Summer of Code projects, which I announced two months ago. The project proposals of three Google Summer of Code stu

Hello, if someone wants to get the slides shown yesterday, please drop me an email. (Due to some copyright issues in my slides I am not allowed to send them to this public list). Kind regards, Oscar -

v2: Skype-Link and Recording and Publication Policy is provided below. Linux Driver Verification & KLEVER: Applying formal methods on the Linux kernel for various years Presenter: Evgeny Novikov, ISPR