Three Google Summer of Code students accepted to contribute to Linux kernel verification

By Blog

The project proposals of three Google Summer of Code students contributing to Linux kernel verification have been accepted. The three students, Isaac Avram (Izzy) , Mark Balantzyan, and Himanshu Jha have proposed the following topics:

  1. Isaac Avram (Izzy) : Extending Coccinelle with Complex Types
  2. Mark Balantzyan: Analysing Race Conditions in the Linux Kernel
  3. Himanshu Jha: Applying Clang Thread Safety Analyser to Linux Kernel

They will be mentored by Julia Lawall, Alexey Khoroshilov and Lukas Bulwahn, respectively. These three Google Summer of Code projects are governed under the umbrella of the Linux Foundation and the projects are contributing to generally relevant activities for the ELISA Project.

More specifically, one of the building blocks to the safety compliance argumentation in the ELISA Project is the research, investigation, experimentation, use and establishment of verification measures and tools in the Linux kernel development. The ELISA Project embraces the activities in these projects and is looking forward to the projects’ results and the inclusion of new members to the verification activities around the Linux kernel development through the Google Summer of Code student program.

First ELISA Workshop in June 2019

By Announcement, Blog

A first ELISA Workshop is planned for:

Date: 2019-06-13 and 2019-06-14
Time: 9:00 to 17:30 CEST
Location: BMW Group Training Academy, Röntgenstraße 7, 85716 Unterschleißheim (near Munich), Germany

Discussion will be on technical topics in this area, e.g., on further discussion of Webinar topics. The workshop will also include working together on first project ideas and setting up groups to continue work with the experts available at this face-to-face meeting. Anyone interested in software quality management around the Linux kernel, software safety management and engineering of pre-existing, tool development for Linux kernel development and investigations of the Linux kernel sources should attend.

The workshop is intended to be considered an open discussion and shall allow groups to start small project work on the topics we identified interesting, based on the different skills and interests of the participants. The exact agenda is open to discussion on the ELISA mailing list and up to the participants to finally decide.

The workshop is open to everyone, but you would need to register for the workshop by 2019-05-31 by sending back a registration email on the ELISA mailing list ( This deadline is hard, as at the location is not very flexible with external guests.

Possible hotels in Unterschleißheim for accommodation are:

Infinity Hotel & Conference Resort Munich, Andreas-Danzer-Weg 1, 85716 Unterschleißheim
Star Inn Hotel Muenchen Nord by Comfort, Rathausplatz 8, 85716 Unterschleißheim
Victor’s Residenz-Hotel München, Keplerstraße 14, 85716 Unterschleißheim
Brauerei Gasthaus Lohhof, Südliche Ingolstädter Str. 4, 85716 Unterschleißheim
City Partner Hotel Alarun, Weihenstephaner Strasse 2, Unterschleißheim

If you have any further questions, please join and ask them on the ELISA mailing list.

The ELISA Project Participates in Google Summer of Code

By Blog

The ELISA Project is looking for interested students to contribute to the activities to enable the use of the Linux kernel in safety-critical systems in the Google Summer of Code student mentorship program. The Google Summer of Code program is similar to a paid-internship, via Google and the Linux Foundation, that provides students funding, mentoring by experts, and resources. The Linux Foundation has participated in this summer program for several years as a mentor organization.

Launched last month, the ELISA Project’s mission is to define and maintain a common set of tools and processes that can help companies demonstrate that a Linux-based system meets the necessary safety requirements for certification.

This overall mission requires some work with profound expertise in functional safety. However, students do not need to have this expertise in functional safety to work the Google Summer of Code project proposals.

The students’ contributions are focused on software development projects related to the Linux kernel and dedicated tools that are used in the processes around the Linux kernel development. Students must have some solid programming experience with one of the programming languages in the various projects, i.e., C, python or OCaml.

The students’ contributions to kernel analysis and tools will generate valuable, diverse and objective insights to the kernel development, which will then serve as a general basis for functional safety software experts to put together the arguments for the intended safety case.

On the one hand, some project proposals are new software development projects that currently only exist as project ideas with first feasibility studies. In this case, the students are deeply involved in the initial project-forming design decisions through the discussions with their mentors and take care of all aspects of a typical software development project, e.g., feature definition, design, implementation, testing and quality assurance.

In other cases, project proposals are additions and extensions to pre-existing open-source software projects around the Linux kernel development and process analysis. In this case, the students need to understand the design of the existing projects and improve the projects’ design and functionality to be suitable for some investigation tasks in the ELISA Project.

Students will have the chance to participate in the newly formed group of collaborators in the technical workgroups of the ELISA Project and are mentored by the main developers of the pre-existing tools.

Selected successful Google Summer of Code students will have the chance to participate in the workshops planned in the ELISA Project and can present their work to an international audience on the satellite events to renowned Linux conferences.

Interested students can reach out to their potential mentors now to use the time to discuss and work out a technical solid and credible project proposal and project plan to implement the tasks at hand. The deadline for providing the final project proposals on the official Google Summer of Code Project page is on April 9, 2019.

For more information or to submit a project proposal, visit: