Is Linux Kernel Development Good Enough to Make Your Life Depend on It? -- Progress on Procedures & Methods to Qualify the Linux Kernel Development Process
The OSADL SIL2LinuxMP project has been considering if Linux is adequate for use as safety element in safety-related systems. Lukas Bulwahn presents the project's results of the last two years of work. …
Talk Title | Is Linux Kernel Development Good Enough to Make Your Life Depend on It? – Progress on Procedures & Methods to Qualify the Linux Kernel Development Process |
Speakers | Lukas Bulwahn (Software Safety Key Expert, BMW AG) |
Conference | Open Source Summit Europe |
Conf Tag | |
Location | Prague, Czech Republic |
Date | Oct 21-27, 2017 |
URL | Talk Page |
Slides | Talk Slides |
Video | |
The OSADL SIL2LinuxMP project has been considering if Linux is adequate for use as safety element in safety-related systems. Lukas Bulwahn presents the project’s results of the last two years of work. In the presentation, he introduces intentions, standards and methods of functional safety. He describes how software that is not developed with safety in mind can be assessed, and the specific problem considering an operating system as element in safety-related systems. He presents the discovered solutions, hazard-driven decomposition and design, and assurance-driven selection, compared to traditional functional decomposition and selection. He shows methods to assess quality of the Linux kernel development process with surprising insights about the process, and calls the interested parties to engage and to fund activities that make this work product-ready and long-term maintainable.