SIL4Linux Web Interface

Introduction

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

maintainers:
Zhou Yunlong <reaper888@yeah.net>
Wang Ye<wangye-09@lzu.edu.cn>

Manual of new:
read it(not finished).

Old Interface:

Enter into the old web interface

maintainers:
     Jin Guojun<jingj1986@gmail.com>
     zhangchd<zhangchd.lzu.edu@gmail.com>
     wanglijuan<wanglij0432@gmail.com>

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 Email:zhouqg@lzu.edu.cn