Title: Concept and implementation of a dependable automotive operating system