Open Systems and their Interfaces for the Electronics in Motor Vehicles: OSEK OS provides a sufficiently flexible scheduling policy to schedule AUTOSAR systems. OSEK OS is a mature specification and implementations are used in millions of ECUs worldwide. OSEK OS does not provide sufficient support for isolating multi-source software components at runtime. OSEK OS does not provide sufficient runtime support for demonstrating the absence of some classes of fault propagation in a safety-case. OSEKtime OS and the HIS Protected OSEK are immature specifications that contain concepts necessary for AUTOSAR and satisfy specific application domains. It is the purpose of this document to identify these needs and to recommend the use of parts (or all) of these specifications as appropriate.