Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

PikeOS

From Wikipedia, the free encyclopedia
Real-time operating system
This articlemay rely excessively on sourcestoo closely associated with the subject, potentially preventing the article from beingverifiable andneutral. Please helpimprove it by replacing them with more appropriatecitations toreliable, independent sources.(May 2025) (Learn how and when to remove this message)

Operating system
PikeOS
Architecture of SYSGO's PikeOS
DeveloperSYSGO GmbH
OS familyL4
Working stateCurrent
Source modelClosed source
Latest release5.1 / January 2021; 5 years ago (2021-01)
Marketing targetEmbedded systems
Available inEnglish
Supported platformsARM,PowerPC,RISC-V,x86,x86-64,SPARC
Kernel typeMicrokernel,real-time
LicenseProprietary
Official websitewww.sysgo.com/pikeosEdit this at Wikidata

PikeOS is a commercial hardreal-time operating system (RTOS) which has aseparation kernel-basedhypervisor that supports multiplelogical partition types for variousoperating systems (OS) and applications, each referred to as a GuestOS. PikeOS is engineered to support the creation of certifiable smart devices for theInternet of Things (IoT). In instances wherememory management units (MMU) are not present butmemory 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

[edit]

PikeOS was introduced in 2005 and combines a real-time operating system (RTOS) with avirtualization platform andEclipse-basedintegrated development environment (IDE) forembedded system (embedded systems). It is a commercial clone of theL4 microkernel family.[3] PikeOS has been developed for safety and security-critical applications with certification needs in the fields ofaerospace, defense, automotive,[4] transport,industrial automation, medical, network infrastructures, and consumer electronics. The PikeOS separation kernel (v5.1.3) is certified againstCommon Criteria at EAL5+.

One of the key features of PikeOS is its ability to execute applications with different safety and security levelsconcurrently on the samecomputing platform. This is done by strict spatial and temporal segregation of these applications via software partitions. A software partition can be seen as acontainer 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 PikeOSapplication programming interface (API)library and running as aprocess inside a partition. The nature of the PikeOS application programming interface (API) allows applications to range from simple control loops up to full paravirtualized guestoperating systems likeLinux or hardware virtualized[5] guests.

References

[edit]
  1. ^Sectank, Redaktion (26 October 2021)."Sysgo entwickelt RTOS für sicherheitskritische Controller-basierte Systeme".SECTANK (in German). Retrieved6 May 2025.
  2. ^"Betriebssystem für Safety und Security".Elektroniknet (in German). Retrieved6 May 2025.
  3. ^Kaiser; Wagner (2007).Evolution of the PikeOS microkernel.MIKES 2007 (Report). NICTA.CiteSeerX 10.1.1.68.5593.ISSN 1833-9646. Retrieved18 November 2023.
  4. ^Gerstl, Sebastian (5 September 2017)."PikeOS nun auch als KI-basierte automobile Softwareplattform im Einsatz".Embedded Software Engineering (in German). Retrieved6 May 2025.
  5. ^online, heise (18 July 2014)."Embedded-Betriebssystem PikeOS mit Hardware-Virtualisierung".iX Magazin (in German). Retrieved6 May 2025.

External links

[edit]
Hardware
(hypervisors)
Native
Hosted
Specialized
Independent
Tools
Operating
system
OScontainers
Application containers
Virtual kernel architectures
Related kernel features
Orchestration
Desktop
Application
Network
See also
Operating
systems
POSIX support
Unix-like
Partial
TRON support
Partial
Capability-based
Java virtual machine
DOS
L4 kernel
Psion
Microsoft
IBM
Texas Instruments
DEC:PDP-11,VAX
Low resource
Frameworks,kits
Developers
Kernels
L4 family
Macintosh hosted
Psion
Amiga-type
Operating
systems
POSIX support
Unix-like
Partial
Capability-based
L4 kernel
Java virtual machine
Macintosh hosted
Unix-like
Psion
  • EPOCSymbian OS
  • Amiga-type
    Microsoft
    AIM alliance
    Frameworks,kits
    Developers
    Retrieved from "https://en.wikipedia.org/w/index.php?title=PikeOS&oldid=1299393510"
    Categories:
    Hidden categories:

    [8]ページ先頭

    ©2009-2026 Movatter.jp