ERIKA Enterprise

ERIKA Enterprise is a real-time operating system (RTOS) kernel for embedded systems, which is OSEK/VDX certified. It is free and open source software released under a GNU General Public License (GPL). The RTOS also includes RT-Druid, an integrated development environment (IDE) based on Eclipse.
ERIKA Enterprise implements various conformance classes, including the standard OSEK/VDX conformance classes BCC1, BCC2, ECC1, ECC2, CCCA, and CCCB. Also, ERIKA provides other custom conformance classes named codice_1 (fixed priority), codice_2 ("earliest deadline first" scheduling), and codice_3 (an implementation of resource reservation protocols).
Due to the collaboration with the Tool & Methodologies team of Magneti Marelli Powertrain & Electronics, the automotive kernel (BCC1, BCC2, ECC1, ECC2, multicore, memory protection, and kernel fixed priority with Diab 5.5.1 compiler) is MISRA C 2004 compliant using FlexeLint 9.00h under the configuration suggested by Magneti Marelli.
In August 2012 ERIKA Enterprise officially received the OSEK/VDX certification; see below.
History.
ERIKA Enterprise began in the year 2000 with the aim to support multicore devices for the automotive markets.
The main milestones are:
Licensing.
Version 2 of the RTOS was released under GPL linking exception. Version 3 of the RTOS (also called ERIKA3) is released under plain GNU General Public License (GPL), with the linking exception sold on request.
Hardware support.
The ERIKA Enterprise kernel directly supports:
Other evaluation boards are supported.