Linux Safety Verification2018-05-18T15:30:30+00:00

Verification Futures 2018

Conference:Verification Futures 2018 (click here to see full programme)
Speaker:Dr. Lukas Bulwahn, Software Safety Expert. BMW Car IT GmbH
Presentation Title:Linux Safety Verification: A Process for Using Linux in Safety-Critical Environments
Abstract: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 three 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 system engineering solutions, hazard-driven decomposition and design, and assurance-driven selection.

He shows methods to assess quality of the Linux kernel development process. He will describe existing testing and verification activities in the Linux community and how those methods are properly mapped against the objectives of the safety standard in a systematic way.

The presentation will highlight the following key points:

  • Motivation to use Linux in safety-critical systems
  • Introduction to SIL2LinuxMP collaboration project
  • Mapping existing verification activities in Linux to safety standards
Speaker Bio: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 Car IT GmbH on research and development of an open-source software platform for autonomous driving systems. One part of this research has been the development of Adaptive AUTOSAR, a standard to develop future software in C++ on top of POSIX operating systems. As another part of this research, he considers if Linux is sufficient for use as operating system for autonomous driving, which ultimately led to his participation in the OSADL SIL2LinuxMP project, where this question is answered in an industrial collaboration.