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