Monthly Archives: April 2011

DSLab Summer School 2011 – Utilizing GNU/Linux for safety related systems

Lanzhou, Gansu, ChinaAugst 15-202011

Linux was not designed for safety related systems, so why use it?

* Security is becoming an issue in safety related systems (it actually always was but we simply ignored it…)

* Processor capabilities are growing rapidly mandating a rethinking of the federated nature of may safety related systems

* The paradigm of keeping systems un-modified for 10-20years is crumbling technical demands mandate a higher level of flexibility while retaining safety related properties

Using FLOSS, notably GNU/Linux, is not the answer to all of these issues, but it is worth considering, and in cases where it fits it can be a very attractive solution, both technically and economically.

Summer School outline:

* Introduction to functional safety

– Basic concepts of functional safety

– Overview of 61508

– Safety life cycle and its relation to development life cycle

* Safety case

– Safety case types

– Strategies for using COTS/FLOSS in safety related systems

– Outline of possible systems utilizing GNU/Linux

* Linux DLC

– Outline of the Linux development process

– Arguing GNU/Linux for safety related systems

– Limitations and possible mitigations

* Formal methods for FLOSS components

– A brief introduction to formal methods

– Capabilities of the existing tools

– Limitations of formal methods for pre-exiting code


* Project Day

– Exercises based on Linux Kernel




A working experience in C is mandatory the ability to edit files on a UNIX environment some experience with command line work is helpful basic understanding of operating system functionality is also needed.