PikeOS

Architecture of SYSGO's PikeOS

Developer| SYSGO GmbH
OS family| L4
Working state| Current
Source model| Closed source
|Final release|Latest release}}| 5.1 / January 2021; 5 years ago (2021-01)
Marketing target| Embedded systems
Available in| English
Platforms| ARM, PowerPC, RISC-V, x86, x86-64, SPARC
Kernel type| Microkernel, real-time
License| Proprietary
Official website| {{{1}}}

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.[1] 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,[2] PikeOS for MPU is designed for critical real-time applications and provides up-to-standard safety and security.[3]

## 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.[4][5] PikeOS has been developed for safety and security-critical applications with certification needs in the fields of aerospace, defense, automotive,[6] transport, industrial automation, medical, network infrastructures, and consumer electronics.[7][8] The PikeOS separation kernel (v5.1.3) is certified against Common Criteria at EAL5+.[9][10]

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.[1] 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[11] guests.[12]

## References

1. ↑ 1.0 1.1 Kaiser, Robert; Wagner, Stephan. "Evolution of the PikeOS Microkernel". SYSGO AG, Klein-Winternheim. https://www.cs.hs-rm.de/~kaiser/pubs/Kaiser-Wagner-PikeOS.pdf.
2. ↑ Sectank, Redaktion (26 October 2021). "Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme" (in de). https://sectank.net/magazin/2021/10/26/sysgo-entwickelt-rtos-fuer-sicherheitskritische-controller-basierte-systeme/.
3. ↑ "Betriebssystem für Safety und Security" (in de-DE). https://www.elektroniknet.de/embedded/hardware/betriebssystem-fuer-safety-und-security.132787.html.
4. ↑ Kaiser; Wagner (2007). "﻿Evolution of the PikeOS microkernel﻿" (in en). MIKES 2007 (NICTA). ISSN 1833-9646. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.68.5593&rep=rep1&type=pdf#page=50. Retrieved 18 November 2023.
5. ↑ HEISER, GERNOT; ELPHINSTONE, KEVIN (April 2016). "L4 Microkernels: The Lessons from 20 Years of Research and Deployment". https://trustworthy.systems/publications/nicta_full_text/8988.pdf.
6. ↑ Gerstl, Sebastian (5 September 2017). "PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz" (in de). https://www.embedded-software-engineering.de/pikeos-nun-auch-als-ki-basierte-automobile-softwareplattform-im-einsatz-a-640341/.
7. ↑ Zhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang. "Refinement-based Specification and Security Analysis of Separation Kernels". https://sumatosoft.com/blog/internet-of-things-design-how-to-build-principles-with-examples.
8. ↑ Lozano, Santiago; Lugo, Tamara; Carretero, Jesús (2023). "A Comprehensive Survey on the Use of Hypervisors in Safety-Critical Systems". IEEE Access 11: 36244–36263. doi:10.1109/ACCESS.2023.3264825. ISSN 2169-3536. https://ieeexplore.ieee.org/document/10092745/.
9. ↑ "Certification Report for PikeOS Separation Kernel Version 5.1.3". https://www.commoncriteriaportal.org/files/epfiles/1146a_pdf.pdf.
10. ↑ "Security target for the PikeOS Separation Kernel v5.1.3 for the NXP LS1023A/LS1043A Processor". https://www.commoncriteriaportal.org/nfs/ccpfiles/files/epfiles/1185b_pdf.pdf.
11. ↑ online, heise (18 July 2014). "Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung" (in de). https://www.heise.de/news/Embedded-Betriebssystem-PikeOS-mit-Hardware-Virtualisierung-2262047.html.
12. ↑ Verbeek, F.; Havle, O.; Schmaltz, J.; Tverdyshev, S.; Blasum, H.; Langenstein, B.; Stephan, W.; Wolff, B. et al. (2015). Havelund, K.; Holzmann, G.; Joshi, R.. eds. "Formal API specification of the PikeOS separation kernel: 7th NASA Formal Methods Symposium (NFM 2015), April 27-29, 2015, Pasadena, CA, USA". NASA Formal Methods. Lecture Notes in Computer Science: 375–389. doi:10.1007/978-3-319-17524-9_26. https://research.tue.nl/en/publications/formal-api-specification-of-the-pikeos-separation-kernel/.

## External links

* SYSGO Website
* PikeOS Official Product Site

* v
* t
* e

Virtualization software

Comparison of platform virtualization software

Hardware
virtualization
(hypervisors)|

| Native|

* Adeos
* CP/CMS
* Hyper-V
* KVM
* Red Hat Enterprise Virtualization
* LDoms / Oracle VM Server for SPARC
* Logical Partition (LPAR)
* LynxSecure
* PikeOS
* Proxmox VE
* SIMMON
* VMware ESXi
* VMware vSphere
* vCloud
* VMware Infrastructure
* Xen
* Oracle VM Server for x86
* XenServer
* XtratuM
* z/VM

|

Hosted|

| Specialized|

* Basilisk II
* bhyve
* Bochs
* Cooperative Linux
* DOSBox
* DOSEMU
* PCem
* PikeOS
* SheepShaver
* SIMH
* Windows on Windows
* Virtual DOS machine
* Win4Lin

|

Independent|

* Microsoft Virtual Server
* Parallels Workstation
* Parallels Desktop for Mac
* Parallels Server for Mac
* PearPC
* QEMU
* VirtualBox
* Virtual Iron
* VMware Fusion
* VMware Player
* VMware Server
* VMware Workstation
* Windows Virtual PC

Tools|

* Ganeti
* oVirt
* System Center Virtual Machine Manager
* Virtual Machine Manager

OS-level
virtualization|

| Full stack|

* Container Linux
* Docker
* iCore Virtual Accounts
* Linux-VServer
* Turbo
* Virtuozzo

|

Backends|

* chroot
* cgroups
* FreeBSD jail
* Linux namespaces
* lmctfy
* LXC
* OpenVZ
* seccomp
* vkernel
* Solaris Containers
* Workload Partitions

Orchestration|

* Amazon ECS
* Kubernetes
* OpenShift

Desktop
virtualization|

* Citrix XenApp
* Citrix XenDesktop
* Remote Desktop Services
* VMware Horizon View
* Ulteo Open Virtual Desktop

Application
virtualization|

* Ceedo
* Citrix XenApp
* Dalvik
* InstallFree
* Microsoft App-V
* Remote Desktop Services
* Symantec Workspace Virtualization
* Turbo
* VMware ThinApp
* ZeroVM

Network
virtualization|

* Distributed Overlay Virtual Ethernet (DOVE)
* NVGRE
* Open vSwitch
* Virtual security switch
* Virtual Extensible LAN (VXLAN)

See also: List of emulators

* v
* t
* e

Real-time operating systems (RTOS)

* Comparison of real-time operating systems

Open-source|

* BeRTOS
* ChibiOS/RT
* Contiki
* eCos
* ERIKA Enterprise
* FreeRTOS
* Fuchsia
* FunkOS
* Mynewt OS
* Nano-RK
* NuttX
* RIOT
* RTAI
* RTEMS
* RTLinux
* RT-Thread
* seL4
* TI-RTOS
* TRON
* Wombat OS
* Xenomai
* Zephyr

Proprietary|

* 4690 OS
* DioneOS
* embOS
* Integrity
* Junos OS
* LynxOS
* µC/OS-II
* MQX
* Nucleus RTOS
* OpenComRTOS
* OSE
* OS-9
* OS2000
* PikeOS
* QNX
* REAL/32
* REX OS
* ScreenOS
* ThreadX
* TPF
* VRTX
* VxWorks
* Windows Embedded Compact

Historic|

* 4680 OS
* Concurrent DOS
* DNIX
* DSOS
* EROS
* FlexOS
* MERT/UNIX-RT
* Multiuser DOS
* pSOS
* RMX
* RSX-11
* RT-11
* Sintran III
* Symbian
* THEOS
* UNOS

* Category

* v
* t
* e

Microkernels-nanokernels

Kernels|

* ADEOS
* EPOC
* EKA1
* EKA2
* Eumel
* Exec
* ExecSG
* EROS
* K42
* L3
* L4
* Little Kernel
* Mac OS nanokernel
* Mach
* GNU Mach
* MicroEmpix
* µ-velOSity
* nucleus
* NuKernel
* Off++
* Opus
* PowerUP
* Quark
* TI-RTOS kernel
* Vanguard
* WarpOS
* Zircon

Operating
systems|

* AmigaOS
* Amoeba
* AROS
* AspireOS
* Broadway
* Icaros Desktop
* ARX
* BeRTOS
* ChibiOS/RT
* ChorusOS
* Copland
* Cosmos
* EROS
* FreeRTOS
* Fuchsia
* Genode
* GNOSIS
* GNU Hurd
* HelenOS
* Hydra
* Integrity
* JX
* JavaOS
* KeyKOS
* Lites
* Classic Mac OS (PowerPC kernel)
* MachTen
* MacMach
* MeikOS
* MERT
* µC/OS
* Midori
* MINIX
* Minix-vmd
* MINIX 3
* MkLinux
* MorphOS
* MQX
* NLTSS
* Nucleus RTOS
* NuttX
* OS2000
* OSE
* Phantom OS
* PikeOS
* QNX
* RC 4000
* Redox
* REX OS
* RIOT
* SharpOS
* Singularity
* SPIN
* Spring
* Symbian
* Taligent OS
* ThreadX
* TI-RTOS
* Tinix
* UNICOS
* V
* Verve
* VRTX
* VSTa
* Wombat OS
* Workplace OS
* Zephyr

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/PikeOS. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Software:PikeOS&oldid=4290241"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template