SmartOSEK: A Real-Time Operating System for Automotive Electronics