Waiting states are an essential feature of operating systems. For ECC1 conformance, dOSEK does implement OSEK events with a specialized, branch-less way.
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.
The dOSEK group received the Best Paper Award at RTAS'15 conference.
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)
At the OSPERT'15 workshop in Lund, we presented an approach to replace the actual kernel implementation with an equivalent state machine.