Friedrich-Alexander-Universität Erlangen-Nürnberg  /   Technische Fakultät  /   Department Informatik

Archive

Waiting in dOSEK , Christian Dietrich

Waiting states are an essential feature of operating systems. For ECC1 conformance, dOSEK does implement OSEK events with a specialized, branch-less way.

dOSEK Version 1.1 , Christian Dietrich

Today, the DanceOS team released dOSEK version 1.1. It brings not only support for OSEK events, but also additional dependability measures to make dOSEK even more resilient against transient hardware faults.

Cross-Kernel Flow Analysis at LCTES'15 , Christian Dietrich

The dOSEK group presented the cross-kernel flow analysis at the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'15)

Replacing the Kernel with a Statemachine , Christian Dietrich

At the OSPERT'15 workshop in Lund, we presented an approach to replace the actual kernel implementation with an equivalent state machine.