ABSTRACT:
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.