SIL4Linux Web Interface


    SIL stands for Safety Integrity Level. A SIL is a measure of safety system performance, or probability of failure on demand (PFD) for a SIF or SIS. SIL4 stands for Safety Integrity Level 4, it is the highest level of SIL. in another word, we can say it have the lowest probability of failure.

    SIL4 Linux is a project for finding out some available methods to ensure the Linux Kernel can achieve SIL4 under some restrictive conditions. At last, a archetypal method based on some formal methods, like FMEA, FTA have been designed. As we know, Linux is a very complex system.     The following results are collected by sil4linux via tools including kft, gcov and strace(Recommend firefox to browsing !).

SIL4Linux Architecture

Copyright: DSLab, Lanzhou University

New Interface:

Enter into the new web interface

     Zhou Yunlong <>
     Wang Ye<>

Manual of new:
read it(not finished).

Old Interface:

Enter into the old web interface

     Jin Guojun<>

Manual of old:
read it(not finished).

Distributed and Embedded System Lab, Information Science and Engineering college,Lanzhou University
Address:Tianshui South Road 222,Lanzhou,P.R.China Zip Code:730000