OSEK: Task activation by alarms