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

Hi all, This email thread should try to collect a list of pre-existing activities, work, concepts and ideas that the different participants in the Given that the area of the intersection of the two to

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

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

Hi Oscar, I think for ELISA members, it would especially interesting to understand what the current state and progress is on your tool qualification of gcc, especially in the context of a Linux kernel

Hi Evgeny, as you know, Michal Szczepankiewicz from exida tried to run Klever on a smaller kernel configuration. Unfortunately at the moment (or at least the moment of the investigation last year), Kl

Hi Evgeny, I think this is also a good topic for a presentation to the people interested in ELISA. @all: Who would be interested in the presentation of the current state of Klever and ideas for future

Hi Oscar, the meeting schedule is up to the members of this mailing list to define. I would hope that those that are interested, answer here by email, then we determine the best time slot to reach eve

Dear all, concerning pre-existing activities, as some of you remember, we organized an event around safety topics & Linux in October 2018 in Edinburgh, collocated with the Embedded Linux Conference Eu

Dear all, in Edinburgh, Ralf Ramsauer presented "Reliable Pre-Integration Tracking of Commits on Mailing Lists". His tool can relate the different versions of patches over time until they land in the

Hi Nicholas, You stated that: """ I do not have solid data for this - but I think that more than 50% of the kernel patches by now are the result of some static code checker (be it formal coccinelle,LD

(sorry, I send the email above without filling in the numbers: v4.14 to v4.14.90 has 8667 stable patches.) ---- Julia wrote: My impression is that there are some people who use Coccinelle, but don't c

I know -he told me - but that is the problem - crude heuristis do not work well on this. If you take a sampling based appraoch you will get a different result. On 4.9 I took a sample of 50 backports a

Dear all, I think the previous discussion already showed that there is some interest in understanding the capabilities of the verification tools used in the Linux kernel development and the current st

Dear Evgeny, thanks for the feedback and thanks for the pointers. I agree that the current rather small benchmark does not show the strength of tools that set up or require rules/specifications/models

Dear Evgeny, To be clear, I do support to continue investigation and development of Klever. I have a different view on your three points, though: 1. There are many drivers and devices in embedded Linu

Hi Nicholas, This is an interesting point to the discussion. How do we come to a conclusion on the compliance route and importance of the different topics? Is this conclusion and importance of differe

Hi Nicholas, I understand that you would need to monitor the stable version updates with respect to your safety claims and the impact of bug fixes on the assumptions with your safety analysis, safety

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

-----Ursprüngliche Nachricht----- Von: devel@... [mailto:devel@...] Im Auftrag von Nicholas Mc Guire Gesendet: Donnerstag, 11. April 2019 16:39 An: devel@... Bet