Conferences and supporting programme
Certifying Linux - Lessons Learned in 3 Years of SIL2LinuxMP
When the SIL2LinuxMP project was started about 3 years ago, many non-safety critical systems using GNU/Linux were already built and in operation. GNU/Linux based systems found their way into industry mostly due to its tremendous security capabilities as well as the unmatched support for modern hardware. Both requirements are important for modern industrial applications and can be met using GNU/Linux on contemporary multi-core CPUs. However the question whether a safety argumentation for GNU/Linux based platforms can be done was still open. While the ultimate goal of certifying a GNU/Linux based platform has still not been reached as of today, it definitely seems to be in reach for the software components. The SIL2LinuxMP project was started as an industrial research project with the goal to find out whether or not it is possible to build complex software based safety-related systems using the GNU/Linux operating system. During the course of those last years a number of potential issues that were seen in the early days turned out to be mostly manageable, while other problems took us by surprise. The most striking one being the fact that to this day no certified multi-core CPU (with more than 4 cores) seems to be available. Certainly, this paper not only presents the issues encountered and status achieved during the last 3 years, it also discusses the approaches taken to resolve them. These approaches cover all aspects of the safety development life-cycle. Examples are the tailoring of the safety process (from a development to a selection process) or the way the hazard analysis of the use case is conducted. On an pre-existing element level, the data mining of development data and statistical arguments which show the suitability of the development process have to be noted. At the code level new methods like the software layers of protection analysis (SW LOPA) approach are introduced. This work was conducted in the context of OSADLs SIL2LinuxMP project striving to develop a GNU/Linux qualification route suitable for up to SIL2.
--- Date: 27.02.2018 Time: 4:00 PM - 4:30 PM Location: Conference Counter NCC Ost