PikeOS

Source: Wikipedia, the free encyclopedia.
PikeOS
Kernel typeMicrokernel, real-time
LicenseProprietary
Official websitewww.sysgo.com/pikeos Edit this at Wikidata

PikeOS is a commercial hard

Internet of Things (IoT). In instances where memory management units (MMU) are not present but memory protection units (MPU) are available on controller-based systems,[1] PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security.[2]

Overview

PikeOS was introduced in 2005 and combines a real-time operating system (RTOS) with a virtualization platform and Eclipse-based integrated development environment (IDE) for embedded system (embedded systems). It is a commercial clone of the L4 microkernel family.[3] PikeOS has been developed for safety and security-critical applications with certification needs in the fields of aerospace, defense, automotive,[4] transport, industrial automation, medical, network infrastructures, and consumer electronics. The PikeOS separation kernel (v5.1.3) is certified against Common Criteria at EAL5+.

One of the key features of PikeOS is its ability to execute applications with different safety and security levels

application programming interface (API) library and running as a process inside a partition. The nature of the PikeOS application programming interface (API) allows applications to range from simple control loops up to full paravirtualized guest operating systems like Linux or hardware virtualized[5]
guests.

References

  1. ^ Sectank, Redaktion (2021-10-26). "Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme". SECTANK (in German). Retrieved 2025-05-06.
  2. ^ "Betriebssystem für Safety und Security". Elektroniknet (in German). Retrieved 2025-05-06.
  3. ISSN 1833-9646
    . Retrieved 2023-11-18.
  4. ^ Gerstl, Sebastian (2017-09-05). "PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz". Embedded Software Engineering (in German). Retrieved 2025-05-06.
  5. ^ online, heise (2014-07-18). "Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung". iX Magazin (in German). Retrieved 2025-05-06.
This page is based on the copyrighted Wikipedia article: PikeOS. Articles is available under the CC BY-SA 3.0 license; additional terms may apply.Privacy Policy