PikeOS
Appearance
This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. (May 2025) |
PikeOS | |
---|---|
Kernel type | Microkernel, real-time |
License | Proprietary |
Official website | www |
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
- ^ Sectank, Redaktion (2021-10-26). "Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme". SECTANK (in German). Retrieved 2025-05-06.
- ^ "Betriebssystem für Safety und Security". Elektroniknet (in German). Retrieved 2025-05-06.
- ISSN 1833-9646. Retrieved 2023-11-18.
- ^ Gerstl, Sebastian (2017-09-05). "PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz". Embedded Software Engineering (in German). Retrieved 2025-05-06.
- ^ online, heise (2014-07-18). "Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung". iX Magazin (in German). Retrieved 2025-05-06.