Lijuan Wang, DSLab, SISE, Lanzhou University, Gansu, China
Chuande Zhang, DSLab, SISE, Lanzhou University, Gansu, China
Zhangjin Wu, DSLab, SISE, Lanzhou University, Gansu, China
Nicholas Mc Guire, DSLab, SISE, Lanzhou University, Gansu, China
Qingguo Zhou, DSLab, SISE, Lanzhou University, Gansu, China

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.