PikeOS
{{Short description|Real-time operating system}}
{{Third-party|date=May 2025}}
{{Infobox OS
| name = PikeOS
| logo =
| screenshot = Architecture of PikeOS from SYSGO.png
| caption = Architecture of SYSGO's PikeOS
| developer = SYSGO GmbH
| family = L4
| working state = Current
| source model = Closed source
| released =
| latest release version = 5.1
| latest release date = {{Start date and age|2021|01}}
| latest preview version =
| latest preview date =
| marketing target = Embedded systems
| programmed in =
| language = English
| supported platforms = ARM, PowerPC, RISC-V, x86, x86-64, SPARC
| kernel type = Microkernel, real-time
| userland =
| ui =
| license = Proprietary
| preceded by =
| succeeded by =
| website = {{Official URL}}
}}
PikeOS is a commercial hard real-time operating system (RTOS) which has a separation kernel-based hypervisor that supports multiple logical partition types for various operating systems (OS) and applications, each referred to as a GuestOS. PikeOS is engineered to support the creation of certifiable smart devices for the 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,{{Cite web |last=Sectank |first=Redaktion |date=2021-10-26 |title=Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme |url=https://sectank.net/magazin/2021/10/26/sysgo-entwickelt-rtos-fuer-sicherheitskritische-controller-basierte-systeme/ |access-date=2025-05-06 |website=SECTANK |language=de}} PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security.{{Cite web |title=Betriebssystem für Safety und Security |url=https://www.elektroniknet.de/embedded/hardware/betriebssystem-fuer-safety-und-security.132787.html |access-date=2025-05-06 |website=Elektroniknet |language=de-DE}}
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.{{cite report|title=Evolution of the PikeOS microkernel|last1=Kaiser|url=http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.68.5593&rep=rep1&type=pdf#page=50|work=MIKES 2007|access-date=2023-11-18|year=2007|last2=Wagner|publisher=NICTA|citeseerx=10.1.1.68.5593 |language=en|issn=1833-9646}} PikeOS has been developed for safety and security-critical applications with certification needs in the fields of aerospace, defense, automotive,{{Cite web |last=Gerstl |first=Sebastian |date=2017-09-05 |title=PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz |url=https://www.embedded-software-engineering.de/pikeos-nun-auch-als-ki-basierte-automobile-softwareplattform-im-einsatz-a-640341/ |access-date=2025-05-06 |website=Embedded Software Engineering |language=de}} 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 concurrently on the same computing platform. This is done by strict spatial and temporal segregation of these applications via software partitions. A software partition can be seen as a container with pre-allocated privileges that can have access to memory, central processing unit (CPU) time, input/output (I/O), and a predefined list of OS services. With PikeOS, the term application refers to an executable linked against the PikeOS 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{{Cite web |last=online |first=heise |date=2014-07-18 |title=Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung |url=https://www.heise.de/news/Embedded-Betriebssystem-PikeOS-mit-Hardware-Virtualisierung-2262047.html |access-date=2025-05-06 |website=iX Magazin |language=de}} guests.
References
{{Reflist}}
External links
- [https://www.sysgo.com SYSGO Website]
- [https://www.sysgo.com/pikeos PikeOS Official Product Site]
{{Virtualization products}}
{{Real-time operating systems}}
{{Microkernel}}
Category:Real-time operating systems
Category:Virtualization software
Category:Embedded operating systems
Category:ARM operating systems
Category:Microkernel-based operating systems