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.
Best Paper Award @ RTAS'15 , Martin Hoffmann
The dOSEK group received the Best Paper Award at RTAS'15 conference.
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.
