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.
Lukas Bulwahn has received a diploma in computer science and a PhD in formal methods from Technische Universität München. Since 2012, he is working at BMW on research and development of an open-source software platform for autonomous driving systems. One part of this research has... Read More →
