dOSEK - A Dependability Oriented Static Embedded Kernel

Recent hardware exhibits an increased susceptibility against transient hardware faults due to shrinking structures sizes and operating voltages. Automotive safety standards take up this fact, recommending the deployment of appropriate counter measures. Here, existing solutions mainly concentrate on the hardening of applications, while the underlying operating system is often left as unreliable computing base.

dOSEK aims to bridge that gap by utilizing consquent design and implementation concepts for contructing a reliable computing base even on unreliable hardware. dOSEK is developed from scratch with dependability as the first-class design goal targeting safety-critical, embedded applications, the system provides an OSEK/AUTOSAR-conform interface (currently ECC1).

For more information about the dOSEK concepts, see https://www4.cs.fau.de/Research/dOSEK/

Software Requirements

• python3-pyparsing
• llvm-3.8-dev
• cmake
• python3-yaml
• libncurses5-dev
• python3-networkx

Building

dOSEK uses cmake as a build system. We recommend to make an out-of-source build:

mkdir build; cd build
../new_build_env.py -a posix
make bcc1_task1a