Shirt a Phobia

Sample Page

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. ^ a b Kaiser, Robert; Wagner, Stephan. “Evolution of the PikeOS Microkernel” (PDF). SYSGO AG, Klein-Winternheim. Archived from the original (PDF) on 20 October 2016. Retrieved 1 April 2026.
  2. ^ Sectank, Redaktion (26 October 2021). “Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme”. SECTANK (in German). Retrieved 6 May 2025.
  3. ^ “Betriebssystem für Safety und Security”. Elektroniknet (in German). Retrieved 6 May 2025.
  4. ^ Kaiser; Wagner (2007). Evolution of the PikeOS microkernel. MIKES 2007 (Report). NICTA. CiteSeerX 10.1.1.68.5593. ISSN 1833-9646. Retrieved 18 November 2023.
  5. ^ HEISER, GERNOT; ELPHINSTONE, KEVIN (April 2016). “L4 Microkernels: The Lessons from 20 Years of Research and Deployment” (PDF). trustworthy.systems. Archived from the original (PDF) on 9 May 2024. Retrieved 1 April 2026.
  6. ^ Gerstl, Sebastian (5 September 2017). “PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz”. Embedded Software Engineering (in German). Retrieved 6 May 2025.
  7. ^ Zhao, Yongwang; Sanan, David; Zhang, Fuyuan; Liu, Yang. “Refinement-based Specification and Security Analysis of Separation Kernels”. Archived from the original on 1 April 2026.
  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.
  9. ^ “Certification Report for PikeOS Separation Kernel Version 5.1.3” (PDF). www.commoncriteriaportal.org. Archived from the original (PDF) on 9 December 2022. Retrieved 1 April 2026.
  10. ^ “Security target for the PikeOS Separation Kernel v5.1.3 for the NXP LS1023A/LS1043A Processor” (PDF). CYSGO. Archived from the original (PDF) on 1 April 2026. Retrieved 1 April 2026.
  11. ^ online, heise (18 July 2014). “Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung”. iX Magazin (in German). Retrieved 6 May 2025.
  12. ^ Verbeek, F.; Havle, O.; Schmaltz, J.; Tverdyshev, S.; Blasum, H.; Langenstein, B.; Stephan, W.; Wolff, B.; Nemouchi, Y. (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.