You are here: Home / RTLWS 1999-2017 / RTLWS Submitted Papers / 
2023-12-07 - 15:00

Dates and Events:

OSADL Articles:

2023-11-12 12:00

Open Source License Obligations Checklists even better now

Import the checklists to other tools, create context diffs and merged lists

2023-03-01 12:00

Embedded Linux distributions

Results of the online "wish list"

2022-01-13 12:00

Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed

Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached

2021-02-09 12:00

Open Source OPC UA PubSub over TSN project phase #3 launched

Letter of Intent with call for participation is now available

Real Time Linux Workshops

1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013 - 2014 - 2015

Eleventh Real-Time Linux Workshop on September 28 to 30, in Dresden, Germany

Announcement - Hotels - Agenda - Paper Abstracts - Presentations - Registration - Abstract Submission - Xenomai User Meeting - Sponsors


SIL4Linux: An attempt to explore Linux satisfying SIL4 in some restrictive conditions

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.