PikeOS ist ein echtzeitfähiges Betriebssystem für sicherheitskritische Anwendungen. Es basiert auf einem Mikrokernel und wird hauptsächlich für eingebettete Systeme verwendet. PikeOS stellt voneinander unabhängige Partitionen bereit. In diesen können Programme mit unterschiedlichen Aufgaben, Sicherheitsansprüchen und Zeitanforderungen laufe...