The DanceOS team is proud to announce the release of dOSEK version 1.1. With the latest release, we added support for OSEK events and an improved ARM support.

OSEK events are a synchronization primitive provided by the kernel. Events are system objects, which are declared in the OIL configuration file. Each event belongs to exactly one task in the system. Only the owning task can clear the event or wait for its arrival. Events can be signaled by any other task in the system. Additionally an alarm can be configured to send an signal to a specific task.

The ARM support was improved and dOSEK runs now on a real hardware platform; the ZedBoard. This architecture port supports all dependability features of dOSEK besides the memory protection.

The additional dependability features of dOSEK include: an concurrent checker for data objects, replication of OS state, and retry of encoded schedule operations.

The source code can be obtained from github. For more details on the changes, have a look at the Changelog.