A Partitioning Operation System Based on RTAI-LXRT Real-time Linux

Dependable embedded systems are an indispensable technology in today`s information society and used in more and more safety-critical applications. One of the main challenges of this wide spread usage is the increasing complexity which makes it very difficult to reach the necessary dependability. Integrated architectures building execution platforms from a set of pre-validated hardware and software compo­nents promise a solution for the stated problem. A core technology of such an architecture are partitioning OSs (Operating Systems) which are able to execute multiple software components on a single processor while guaranteeing that these components cannot influence each other. This shall hold for both the temporal and the spatial domain. This book shows a possible implementation of such a par­titioning OS on top of a RTAI (Real Time Application Interface) real-time Linux system. An existing prototype implementation developed within the EU funded DECOS (Dependable Embedded Components and Systems) project is evaluated and improved regarding partitio-ning capabilities.This book is written for: computer science researches and practi­tioners; graduate students.