PikeOS 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] aerospace , defense, automotive,[ 6] industrial automation , medical, network infrastructures, and consumer electronics.[ 7] [ 8] 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] 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] [ 12]
References
1 2 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 . ↑ Sectank, Redaktion (26 October 2021). "Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme" . SECTANK (in German). Retrieved 6 May 2025 . ↑ "Betriebssystem für Safety und Security" . Elektroniknet (in German). Retrieved 6 May 2025 .↑ 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 . ↑ 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 . ↑ Gerstl, Sebastian (5 September 2017). "PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz" . Embedded Software Engineering (in German). Retrieved 6 May 2025 . ↑ 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. ↑ 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 . hdl :10016/38175 ISSN 2169-3536 . ↑ "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 .↑ "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 .↑ online, heise (18 July 2014). "Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung" . iX Magazin (in German). Retrieved 6 May 2025 . ↑ 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 .
