Specifications for embedded operating systems within automotives
OSEK
OSEK is a standards body that has produced specifications for an embedded operating system, a communications stack, and a network management protocol for automotive embedded systems.
It has produced related specifications, namely AUTOSAR. OSEK was designed to provide a reliable standard software architecture for the various electronic control units (ECUs) throughout a car.
Text adapted from Wikipedia, CC BY-SA 4.0. Photograph: August Geyler (see Commons), Wikimedia Commons.