dOSEK - The dependable OSEK