You are here: Home / Science / RTLWS Submitted Papers / 
2019-04-20 - 06:35
Details of the Real Time Linux Foundation Working Group Project

OSADL Project: Real Time Linux Workshops

Real Time Linux Foundation Workshops since 1999

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

Papers

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.