Skip to main content


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

By Announcement, 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.

The ELISA Project Participates in Google Summer of Code

By Announcement

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:

The Linux Foundation Launches ELISA Project Enabling Linux In Safety-Critical Systems

By Announcement

Arm, BMW Car IT GmbH, KUKA, Linutronix, and Toyota join ELISA project to advance open source functional safety across transportation, manufacturing, healthcare, and energy industries

SAN FRANCISCO, February 21, 2019 – The Linux Foundation today launched the Enabling Linux in Safety Applications (ELISA) open source project to create a shared set of tools and processes to help companies build and certify Linux-based safety-critical applications and systems whose failure could result in loss of human life, significant property damage or environmental damage. Building off the work being done by SIL2LinuxMP project and Real-Time Linux project, ELISA will make it easier for companies to build safety-critical systems such as robotic devices, medical devices, smart factories, transportation systems and autonomous driving using Linux. Founding members of ELISA include Arm, BMW Car IT GmbH, KUKA, Linutronix, and Toyota.

To be trusted, safety-critical systems must meet functional safety objectives for the overall safety of the system, including how it responds to actions such as user errors, hardware failures and environmental changes. Companies must demonstrate that their software meets strict demands for reliability, quality assurance, risk management, development process, and documentation. Because there is no clear method for certifying Linux, it can be difficult for a company to demonstrate that their Linux-based system meets these safety objectives.

“All major industries, including energy, medical and automotive, want to use Linux for safety-critical applications because it can enable them to bring products to market faster and reduce the risk of critical design errors. The challenge has been the lack of the clear documentation and tools needed to demonstrate that a Linux-based system meets the necessary safety requirements for certification,” said Kate Stewart, Senior Director of Strategic Programs at The Linux Foundation. “Past attempts at solving this have lacked the critical mass needed to establish a widely discussed and accepted methodology, but with the formation of ELISA, we will be able to leverage the infrastructure and support of the broader Linux Foundation community that is needed to make this initiative successful.”

ELISA will work with certification authorities and standardization bodies in multiple industries to establish how Linux can be used as a component in safety-critical systems. The project will also define and maintain a common set of elements, processes and tools that can be incorporated into Linux-based, safety-critical systems amenable to safety certification.

Additional project goals include:

  • Develop reference documentation and use cases.
  • Educate the open source community on safety engineering best practices and educate the safety community on open source concepts.
  • Enable continuous feedback with the open source community to improve processes, and to automate quality assessment and assurance.
  • Support members with incident and hazard monitoring of critical components relevant to their systems and establish best practices for member response teams.

For more information about ELISA, visit

Industry Support for ELISA

“The safe and effective performance of safety-related software is essential as we increasingly rely on programmable devices in our homes, workplaces and communities at-large. UL looks forward to the launch of ELISA and the opportunity it presents to more rapidly assess and validate – with confidence – the Linux component of safety systems.”
– Tom Blewitt, VP & CTO, UL

“The Open Source Automation Development Lab (OSADL) was founded more than 13 years ago to advance the use of GNU/Linux in industrial products by addressing the need for real-time capabilities and safety certification. Shortly after, we here at OSADL created the OSADL Safety  Critical Linux Working Group for functional safety, which culminated in the SIL2LinuxMP project that laid some groundwork for using GNU/Linux in safety-related systems. We subsequently added legal support and many other services that are needed to successfully use Open Source software in industry to our portfolio. We still continue to foster real-time Linux, among other, as a Gold member of the Linux Foundation’s Real-Time Linux project, and we are proud to see some of the efforts of the SIL2LinuxMP project continued at a larger scale in the ELISA project.”
– Dr. Carsten Emde, General Manager, OSADL

“At Automotive Grade Linux, we are working closely with the Real-Time Linux project and the ELISA project in order to achieve functional safety certifications for automotive applications such as our instrument cluster, heads-up-display and ADAS solutions. By working closely with ELISA, this will help us provide automotive manufacturers with all of the testing artifacts and documentation they need to achieve safety certification for their AGL-based systems.”
– Dan Cauchy, Executive Director of Automotive Grade Linux at the Linux Foundation

“Civil Infrastructure Platform (CIP) Project is committed to improving implementation of Linux-based civil infrastructure systems through industrial grade software and a universal operating system that is maintained for more than ten years. We work closely with several open source project such as Real-Time Linux, Linux Kernel LTS and KernelCI to achieve Long Term Support (LTS) and safety and security certifications. We support the ELISA Project and its efforts to build and certify Linux-based safety-critical applications on a broader scale.”
– Urs Gleim, Governing Board Chair of the Civil Infrastructure Platform, hosted at the Linux Foundation

ELISA Founding Members
Founding members of ELISA include Arm, BMW Car IT GmbH, KUKA, Linutronix, and Toyota.

“Safety and trust are the highest priorities for the automotive industry as vehicles become more autonomous and Arm’s Automotive Enhanced technologies are at the heart of systems powering these vehicles. The work the Linux Foundation is undertaking with the ELISA project complements Arm’s functional safety leadership and continued commitment to software enablement.”
– Lakshmi Mandyam, VP automotive, Automotive and IoT Line of Business, Arm

“KUKA is looking forward to working with other Linux experts in order to define a series of methods and processes, with the goal of certifying Linux-based safety-critical systems.”
– David Fuller, CTO, KUKA AG

“We are happy to see that the SIL2Linux work will continue and advance with the launch of ELISA and provide a clear focus for the use of Linux in safety critical applications. ELISA will help to establish Linux in the industrial control world deeper than ever before.”
– Heinz Egger, CEO, Linutronix

“Open source software has become a significant part of our technology strategy, and we want to help make it easier to use Linux-based applications. Toyota believes the ELISA project will support CASE use cases in an innovative way for the automotive industry.”
– Mr. Masato Hashimoto, General Manager of E/E Architecture Development Div., Advanced R&D and Engineering Company, Toyota

About The Linux Foundation
The Linux Foundation is the organization of choice for the world’s top developers and companies to build ecosystems that accelerate open technology development and industry adoption. Together with the worldwide open source community, it is solving the hardest technology problems by creating the largest shared technology investment in history. Founded in 2000, The Linux Foundation today provides tools, training and events to scale any open source project, which together deliver an economic impact not achievable by any one company. More information can be found at

# # #

The Linux Foundation has registered trademarks and uses trademarks. For a list of trademarks of The Linux Foundation, please see our trademark usage page: Linux is a registered trademark of Linus Torvalds.

Media Inquiries
Emily Olin
The Linux Foundation