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

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

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,

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

Hi Lukas, hi all, It’s many years ago that we presented our ideas about tool qualification in the OSDAL group. Meanwhile we have evolved to a word wide leading provider of tool qualification kits

Hi Oscar, I'm interested in this and could you share any materials in terms of topics? I'd like to learn what you have done in detail. Thanks Tiejun

Hi all, formal methods help to ensure the highest level of software quality that is essentially necessary for safety and security related projects. But as a rule they are successfully applied just

Hi all, In thread “Collection of pre-existing activities, work, concepts and ideas” I presented you software verification framework Klever. Concerning verification of the Linux kernel, this

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,LDV, etc or heuristic

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

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

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

Helli Lukas I would like to join on webex on this topic. Thanks Poonam On 08-Apr-2019, at 9:23 PM, Lukas Bulwahn via Lists.Elisa.Tech <Lukas.Bulwahn=bmw.de@...> wrote:

Hello, Is there already a meeting schedule, where the presentations & discussions shall be hold? Kind regards, Oscar PS We also like formal methods and have recently be

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

All: I am interested in the both topics, but the gcc topic is much more interesting/important to me. As for meeting times, I greatly prefer afternoon European time (I’m in California, but I’m

I would be interested in both of the proposed presentations. julia

Dear Nicholas, you touched the very important topic indeed. As far as I know usually for static analyzers one evaluates just a false alarm rate. Moreover, many reported warnings, that one treats as

Dear Lukas, Of course, for particular embedded devices as well as for non-embedded ones not so many (several dozens or hundreds) drivers are of interest. But firstly, there are plenty of various

That could be generalized - simply take all references to Fixes tags as a set of "known bugs" and evaluate against those (thats the what I'm doing with meta-data analysis for bug detection and