Linux is an existing widely-used operating system in lots of fields, including desktop applications, server solutions, embedded systems and even some real time controlling environment with the rt-preempt extensions. And it works well without any big problem currently, but for it is a complex and large system,some potential uncertain factors may influence its stability, so there is no guarantee to use it in some safety-critical environment.
In this paper, we will try to explore the possibility of Linux satisfying SIL 4 in some restrictive conditions. To achieve such a goal, a sil4linux system have been designed and implemented via integrating some kernel tracing/profiling tools, two formal analyzing methods, and with the support of a DBMS.
Download paper as pdf file