|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