OSEK or OSEK/VDX (Vehicle Distributed eXecutive), a standards body for automotive electronics
OSEK |
ERIKA Enterprise an open source OSEK/VDX embedded operating system